- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1997
- Creator
-
Peper, Christian
Gotzhein, Reinhard
Kronenburg, Martin
- URN
-
urn:nbn:de:hbz:386-kluedo-2882
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:31 AM CEST
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
- Peper, Christian
- Gotzhein, Reinhard
- Kronenburg, Martin
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1997
Other Objects (12)
Generating Formal Representations of System Specification from Natural Language Requirements
Enhancing the fusion method to fusionB : requirements engineering and formal specification
A generic specification for verifying peephole optimizations
Circuit architecture derivation starting from a formal requirements specification considering a DDS as example
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification and transformation of programs : a formal approach to software development
An epistemic approach to the formal specification of statistical machine learning
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
Formal software development using generic development steps
The Z formal specification notation : proceedings
Generating Formal Representations of System Specification from Natural Language Requirements
Enhancing the fusion method to fusionB : requirements engineering and formal specification
A generic specification for verifying peephole optimizations
Circuit architecture derivation starting from a formal requirements specification considering a DDS as example
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification and transformation of programs : a formal approach to software development
An epistemic approach to the formal specification of statistical machine learning
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
Formal software development using generic development steps
The Z formal specification notation : proceedings
Generating Formal Representations of System Specification from Natural Language Requirements
Enhancing the fusion method to fusionB : requirements engineering and formal specification
A generic specification for verifying peephole optimizations
Circuit architecture derivation starting from a formal requirements specification considering a DDS as example
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification and transformation of programs : a formal approach to software development
An epistemic approach to the formal specification of statistical machine learning
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
Formal software development using generic development steps