Eine algebraische Spezifikation des Software-Produkts INTAKT

A worked example of a complete specification and abstract implementation of a sizable software system is given in terms of a predecessor of the software specification language ASPIK. The specified software system INTAKT has been developed by Siemens AG (München). INTAKT is an interactive system for analyzing and upgrading programs written in a variety of programming languages. This paper only provides a specification and abstract implementation for part of the analysis support in INTAKT. The remainder is specified in a companion paper by W. Schrupp and J. Tamme. (Int. Bericht 84/83)Ein ausgearbeitetes Beispiel einer vollständigen Spezifikation und abstrakten Implementierung eines unfangreichen Softwaresystems wird angegeben, das in einem Vorläufer der Softwarespezifikationssprache ASPIK beschrieben ist. Das spezifizierte Softwaresystem INTAKT wurde bei der Siemens AG (München) entwickelt. INTAKT ist ein Dialogsystem zur Analyse und Aufbereitung von Programmen verschiedener Programmiersprachen. Diese Arbeit beschreibt Spezifikation und abstrakte Implementierung eines Teils der Analyseunterstützung in INTAKT. Der restliche Teil ist spezifiziert in der Arbeit von W. Schrupp und J. Tamme. (Int. Bericht 84/83