Dieser Aufsatz stellt eine Familie von graphischen Modellierungswerkzeugen vor, die zur Unterstützung der Präsenzlehre in der Softwaretechnik entwickelt wurden. Die Werkzeuge zeichnen sich durch einen auf die Lehre zugeschnittenen Funktionsumfang und eine intuitive Benutzeroberfläche aus. Zur Unterstützung des Lehrens und Lernens des jeweiligen Formalismus wurden in einige Werkzeuge Simulationsfunktionen und multimediale Elemente integriert. Evaluierte Einsätze der Werkzeuge brachten vielversprechende Ergebnisse und bestätigten unseren Ansatz.