Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software

Abstract

Das Thema "Spezifikation" wurde von den Informatikern identifiziert und bearbeitet im Zusammenhang mit der Entdeckung des Gebietes "Software-Engineering". Dies gilt auch für die Spezifikation solcher Systeme, die nur teilweise aus Software bestehen oder bei denen die Unterscheidung zwischen Hard- und Software noch nicht gemacht wurde. Daher soll hier versucht werden, das Gebiet von der Software-Spezifikation her anzugehen. Nach einem kurzen Abriss der Motivation für Spezifikationssysteme und ihrer Geschichte werden die in diesem Zusammenhang wichtigen Begriffe diskutiert. Auch die übliche Einteilung des Software-Entstehungsprozesses, der "softwarelife-cycle", wird angesprochen. Für die einzelnen Komponenten der Spezifikationssysteme haben sich Lösungen herauskristallisiert, die in vielen Systemen zu finden sind. Diese werden gegenübergestellt und diskutiert. Dann werden der aktuelle Stand und die Trends skizziert. Am Schluss stehen einige Erfahrungssätze zur Einführung eines Spezifikationssystems.