Dieses Buch ist ein Tip für alle System- und Softwarentwickler, aber auch für diejenigen, die sich nur einen Überblick über den Stand der Technik des Requirements Engineering oder des CASE (Computer Aided Software/Systems Engineering) verschaffen wollen.
Es werden sehr aktuell (1998) alle formalen Methoden der Anforderungsbeschreibung mit grafischen oder auch mathematischen Notationen beschrieben und an Beispielen erläutert. Zusammenfassungen einzelner Kapitel gewähren dem Schnell-Leser Einblick in die Thematik und grenzen in knapper Form Methoden gegeneinander ab. Vor- und Nachteile der Methoden werden ebenso erwähnt, wie die sie unterstützenden, kommerziell verfügbaren Werkzeuge.
Etwas mehr hätte auf Verfahren der datenbank-gestützten Verwaltung textueller Anforderungen mit Hilfe von Informationsmodellen zum Zwecke der Traceability eingegangen werden können. Diese Verfahren und Werkzeuge werden allzu kurz unter den Dokumentationswerkzeugen genannt, der Hinweis auf den Klassiker im Feld der Werkzeuge (RTM) fehlt ganz.
Ebenso wäre eine etwas tiefere Darstellung moderner Verfahren des Model-Checking oder anderer Beweisverfahren sicher lohnenswert gewesen.
Insgesamt also ein gutes Buch über RE und CASE für eine breite Leserschaft.