• search hit 43 of 206
Back to Result List

A Case Study on the Use of SDL

  • This paper presents the experience the authors gained in applying formal methods - mainly MSC and SDL - when specifying a reactive system. The experience not onlydeals with the descriptions of the system, but also with the methodology used to develop the descriptions.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Thomas Deiss, Thomas Hillenbrand
URN:urn:nbn:de:hbz:386-kluedo-4130
Series (Serial Number):Sonderforschungsbereich 501 (1997,3)
Document Type:Preprint
Language of publication:English
Year of Completion:1999
Year of first Publication:1999
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011