1989 | OriginalPaper | Chapter
Allgemeine Aspekte
Author : Dr. Dieter Hogrefe
Published in: Estelle, LOTOS und SDL
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.