- 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
-
25.03.2025, 1:55 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
- 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
Structuring requirements as necessary premise for customer-oriented development of complex products: A generic approach
Formal software development using generic development steps
Specification and transformation of programs : a formal approach to software development
Evaluation of a specification approach for vehicle functions using activity diagrams in requirements documents
Formal specification : techniques and applications
Formal specification of CSCW applications
Formal systems specification : the RPC-memory specification case study
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness
Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
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
Structuring requirements as necessary premise for customer-oriented development of complex products: A generic approach
Formal software development using generic development steps
Specification and transformation of programs : a formal approach to software development
Evaluation of a specification approach for vehicle functions using activity diagrams in requirements documents
Formal specification : techniques and applications
Formal specification of CSCW applications
Formal systems specification : the RPC-memory specification case study
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness
Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
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
Structuring requirements as necessary premise for customer-oriented development of complex products: A generic approach
Formal software development using generic development steps
Specification and transformation of programs : a formal approach to software development
Evaluation of a specification approach for vehicle functions using activity diagrams in requirements documents
Formal specification : techniques and applications
Formal specification of CSCW applications
Formal systems specification : the RPC-memory specification case study
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness