Hochschulschrift
Traceability and model management with executable and dynamic hierarchical megamodels
- Weitere Titel
-
Traceability und Modell Management mit ausführbaren und dynamischen Megamodellen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Potsdam, Universität Potsdam, Diss., 2013
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universitätsbibliothek der Universität Potsdam
- (wann)
-
2013
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:kobv:517-opus-64222
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:56 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
- Seibel, Andreas
- Giese, Holger
- Universitätsbibliothek der Universität Potsdam
Entstanden
- 2013
Ähnliche Objekte (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