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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hogrefe, D. (1989). Allgemeine Aspekte. In: Estelle, LOTOS und SDL. Springer Compass. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74238-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-74238-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-74239-2
Online ISBN: 978-3-642-74238-5
eBook Packages: Springer Book Archive