A Catalogue of Criteria for Evaluating Formal Methods and Its Application
- A large set of criteria to evaluate formal methods for reactive systems is presented. To make this set more comprehensible, it is structured according to a Concept-Model of formal methods. It is made clear that it is necessary to make the catalogue more specific before applying it. Some of the steps needed to do so are explained. As an example the catalogue is applied within the context of the application domain building automation systems to three different formal methods: SDL, statecharts, and a temporallogic.
Verfasser*innenangaben: | Thomas Deiss, Martin Kronenburg, Dirk Zeckzer |
---|---|
URN: | urn:nbn:de:hbz:386-kluedo-4149 |
Schriftenreihe (Bandnummer): | Sonderforschungsbereich 501 (1997,4) |
Dokumentart: | Preprint |
Sprache der Veröffentlichung: | Englisch |
Jahr der Fertigstellung: | 1999 |
Jahr der Erstveröffentlichung: | 1999 |
Veröffentlichende Institution: | Technische Universität Kaiserslautern |
Datum der Publikation (Server): | 03.04.2000 |
Fachbereiche / Organisatorische Einheiten: | Kaiserslautern - Fachbereich Informatik |
DDC-Sachgruppen: | 0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik |
Lizenz (Deutsch): | Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011 |