Requirements-Engineering beschäftigt sich mit Methoden, Formalismen und Werkzeugen zur Ermittlung, Formulierung und Prüfung von Anforderungen an Software-gestützte Systeme. Zentral bei unseren Aktivitäten im Requirements-Engineering steht die Idee der Modellbildung, d.h. die abstrakte, weitgehend formale Beschreibung eines Systems in einer Form, die es ermöglicht, einerseits Anforderungen entsprechend zu präzisieren (ohne die Implementierung vorwegzunehmen) und andererseits Systemstrukur und -verhalten zum frühest möglichen Zeitpunkt im Rahmen einer Systementwicklung studieren, analysieren und benutzen zu können.
Konkret betrachtete Fragestellungen sind:

• Grundlagen, Zusammenhänge, Schnittstellen und Integration verschiedener bestehender Ansätze
• Koexistenz und Mischung verschiedener Formalismen
• Konsistenz- und Vollständigkeitskriterien für Modelle oder präzise semantische Definitionen einzelner Modellierungskonzepte
• Methodik und Rechnerunterstützung bei der Entwicklung von (formalen) Spezifikationen aus informellen Problemstellungen
• Einsatz formal fundierter Methoden
• allgemeine Aspekte der Werkzeugunterstützung für das Requirements-Engineering