In diesem Projekt wird eine Entwicklungsumgebung für die Spezifikationssprache TROLL light entworfen und implementiert. Teil einer solchen Umgebung ist ein Werkzeug zur Validierung von Spezifikationen. Eine Validierung wird durch die Ausführung einer Spezifikation (Animation) und das dabei zu beobachtende Verhalten des beschriebenen Systems ermöglicht. Abweichungen zwischen beobachtetem und angestrebtem Verhalten geben Hinweise auf eine erforderliche Anpassung der Spezifikation bezüglich der anfangs erstellten Anforderungsdefinition und führen so zu einer Optimierung des Systemmodells.