Hochschulschrift
Semantic integration of heterogeneous software specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540402572
3540402578
- Maße
-
24 cm
- Umfang
-
IX, 327 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Berlin, Techn. Univ., Habil.-Schr., 2002
- Klassifikation
-
Informatik
- Schlagwort
-
Softwareentwicklung
Softwarespezifikation
Semantikerhaltende Transformation
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
2004
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:58 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Große-Rhode, Martin
- Springer
Entstanden
- 2004
Ähnliche Objekte (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