UNIVERSITÄTSBIBLIOTHEK
  • search hit 2 of 525
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

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