Advertisement

Ein System zur rechnerunterstützten Spezifikation

  • Lutz Hirschmann
Conference paper
  • 31 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 53)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Den 79.
    Denert, E .: Software-Modularisierung Informatik-Spektrum 2 /4, S. 204–218, 1979.Google Scholar
  2. Gut 77.
    Guttag, J.V .: Abstract Data Types and the Development of Data Structures CACM 20 /6, S. 396–404, 1977.zbMATHGoogle Scholar
  3. Ko 79.
    Koch, W .: SPEZI — eine Sprache zur Formulierung von Spezifikationen TU Berlin, FB Informatik, Bericht Nr. 79–22, 1979.Google Scholar
  4. My 75.
    Myers, G.J .: Reliable Software through Composite Design Petrocelli/Charter, New York 1975.Google Scholar
  5. Par 72.
    Parnas, D.L .: On the Criteria to be used in Decomposing Systems into Modules, CACM 15 /12, S. 1053–1058, 1972.Google Scholar
  6. Ro 76.
    Robinson, L.; Roubine, O.: SPECIAL — A Specification and Assertion Language Stanford Research Institute, Menlo Park, Ca., USA, 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Lutz Hirschmann
    • 1
  1. 1.mbp Mathematischer Beratungs- und Programmierungsdienst GmbHDortmundGermany

Personalised recommendations