Zusammenfassung
Das Ergebnis der Phase Systementwurf, namlich die Beschreibung der entstandenen Moduln und ihrer Interaktion, bezeichnen wir als Spezifikation.
Es wird ein Formalismus vorgestellt, mit dem die Spezifikation in einfacher Weise beschrieben werden kann. Besonderer Wert wird dabei auf die Behandlung abstrakter Datentypen gelegt.
Durch ein Werkzeug wird die Konsistenz der Spezifikation gepruft. Daruber hinaus konnen Programmrahmen in verschiedenen Programmiersprachen generiert werden, wodurch ein rechnergestutzter Ubergang von der Entwurfs-zur Programmierungsphase ermoglicht wird.
Es wird uber Erfahrungen berichtet, die mit diesem Spezifikationssystem in einem indu- strieilen Projekt gemacht worden sind.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Denert, E .: Software-Modularisierung Informatik-Spektrum 2 /4, S. 204–218, 1979.
Guttag, J.V .: Abstract Data Types and the Development of Data Structures CACM 20 /6, S. 396–404, 1977.
Koch, W .: SPEZI — eine Sprache zur Formulierung von Spezifikationen TU Berlin, FB Informatik, Bericht Nr. 79–22, 1979.
Myers, G.J .: Reliable Software through Composite Design Petrocelli/Charter, New York 1975.
Parnas, D.L .: On the Criteria to be used in Decomposing Systems into Modules, CACM 15 /12, S. 1053–1058, 1972.
Robinson, L.; Roubine, O.: SPECIAL — A Specification and Assertion Language Stanford Research Institute, Menlo Park, Ca., USA, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hirschmann, L. (1982). Ein System zur rechnerunterstützten Spezifikation. In: Wössner, H. (eds) Programmiersprachen und Programmentwicklung. Informatik-Fachberichte, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68355-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-68355-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11204-4
Online ISBN: 978-3-642-68355-8
eBook Packages: Springer Book Archive