- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540402572
3540402578
- Dimensions
-
24 cm
- Extent
-
IX, 327 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Berlin, Techn. Univ., Habil.-Schr., 2002
- Classification
-
Informatik
- Keyword
-
Softwareentwicklung
Softwarespezifikation
Semantikerhaltende Transformation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2004
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:58 AM 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.
Object type
- Hochschulschrift
Associated
- Große-Rhode, Martin
- Springer
Time of origin
- 2004
Other Objects (12)
Semantic integration of heterogeneous formal specifications via transformation systems
Using Semantic Web Technology in Requirements Specifications
Certifying Software Component Performance Specifications
Unterstützung bei der Erstellung und Integration von Videos in Software-Spezifikationen : Supporting creation and integration of videos into software specifications
Algebraic specifications in software engineering : an introduction
Basic semantic integration
Model-based Semantic Conflict Analysis for Software- and Data-Integration Scenarios
Semantic web enabled software engineering
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Architectures for semantic integration
Improving the integration of the software supply chain via the semantic web
Semantic integration of heterogeneous formal specifications via transformation systems
Using Semantic Web Technology in Requirements Specifications
Certifying Software Component Performance Specifications
Unterstützung bei der Erstellung und Integration von Videos in Software-Spezifikationen : Supporting creation and integration of videos into software specifications
Algebraic specifications in software engineering : an introduction
Basic semantic integration
Model-based Semantic Conflict Analysis for Software- and Data-Integration Scenarios
Semantic web enabled software engineering
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Architectures for semantic integration
Improving the integration of the software supply chain via the semantic web
Semantic integration of heterogeneous formal specifications via transformation systems
Using Semantic Web Technology in Requirements Specifications
Certifying Software Component Performance Specifications
Unterstützung bei der Erstellung und Integration von Videos in Software-Spezifikationen : Supporting creation and integration of videos into software specifications
Algebraic specifications in software engineering : an introduction
Basic semantic integration
Model-based Semantic Conflict Analysis for Software- and Data-Integration Scenarios
Semantic web enabled software engineering
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Architectures for semantic integration