Generating implementations from formal specifications : a translator from Promela to Java
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Keyword
-
Java ; Simulator
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Universitätsbibliothek der Universität Stuttgart
- (when)
-
2002
- Creator
-
Papesch, Matthias
- URN
-
urn:nbn:de:bsz:93-opus-10560
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Papesch, Matthias
- Universitätsbibliothek der Universität Stuttgart
Time of origin
- 2002
Other Objects (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