Hochschulschrift
Traceability and model management with executable and dynamic hierarchical megamodels
- Alternative title
-
Traceability und Modell Management mit ausführbaren und dynamischen Megamodellen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Potsdam, Universität Potsdam, Diss., 2013
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universitätsbibliothek der Universität Potsdam
- (when)
-
2013
- Creator
- Contributor
- URN
-
urn:nbn:de:kobv:517-opus-64222
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 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.
Object type
- Hochschulschrift
Associated
- Seibel, Andreas
- Giese, Holger
- Universitätsbibliothek der Universität Potsdam
Time of origin
- 2013
Other Objects (12)
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Object oriented design and architecture of distributed systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Object coordination nets 3.0 synchronization behavior typing for contracts
Object coordination nets 3.0, [...]. Reference manual
Object coordination nets 3.0, [...]. Semantics specification
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Object oriented design and architecture of distributed systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Object coordination nets 3.0 synchronization behavior typing for contracts
Object coordination nets 3.0, [...]. Reference manual
Object coordination nets 3.0, [...]. Semantics specification
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Object oriented design and architecture of distributed systems
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Object coordination nets 3.0 synchronization behavior typing for contracts
Object coordination nets 3.0, [...]. Reference manual
Object coordination nets 3.0, [...]. Semantics specification
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations