Generating implementations from formal specifications : a translator from Promela to Java
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Schlagwort
-
Java ; Simulator
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2002
- Urheber
-
Papesch, Matthias
- URN
-
urn:nbn:de:bsz:93-opus-10560
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Papesch, Matthias
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2002
Ähnliche Objekte (12)
Generating interpreters from compiler specifications
Generating efficient test oracles from specifications
From SDL specifications to optimized parallel protocol implementations
Generating processors from specifications of instruction sets
Generating processors from specifications of instruction sets
Generating user interfaces from formal specifications of the application
Note from the Translator
Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
Generating Surrogates from Recurrences
Deriving object-oriented specifications from algebraic specifications through refinement
Evolvable components : from theory to hardware implementations
Generating Euler Diagrams from existing layouts
Generating interpreters from compiler specifications
Generating efficient test oracles from specifications
From SDL specifications to optimized parallel protocol implementations
Generating processors from specifications of instruction sets
Generating processors from specifications of instruction sets
Generating user interfaces from formal specifications of the application
Note from the Translator
Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
Generating Surrogates from Recurrences
Deriving object-oriented specifications from algebraic specifications through refinement
Evolvable components : from theory to hardware implementations
Generating Euler Diagrams from existing layouts
Generating interpreters from compiler specifications
Generating efficient test oracles from specifications
From SDL specifications to optimized parallel protocol implementations
Generating processors from specifications of instruction sets
Generating processors from specifications of instruction sets
Generating user interfaces from formal specifications of the application
Note from the Translator
Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
Generating Surrogates from Recurrences
Deriving object-oriented specifications from algebraic specifications through refinement
Evolvable components : from theory to hardware implementations