Advertisement

Allgemeine Aspekte

Chapter
  • 18 Downloads
Part of the Springer Compass book series (SC)

Zusammenfassung

Mit Spezifikationen, die in einer formalen Spezifikationssprache geschrieben sind, kann ein Systemverhalten präzise beschrieben werden. Der Hauptanwendungsbereiche der Sprachen Estelle, LOTOS und SDL sind heutzutage die Dienste und Protokolle von Telekommunikationssystemen [41]. Aber auch anderes Verhalten kann mit den Sprachen beschrieben werden, wie zum Beispiel der Dialog zwischen einem Benutzer und einer Maschine.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  1. 1.Fachbereich InformatikUniversität HamburgGermany

Personalised recommendations