Hochschulschrift
Analysis and synthesis of interactive component and connector systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Aachen : Shaker, 2014 (Aachener Informatik-Berichte, Software Engineering; 19)
Techn. Hochsch., Dissertation, 2014
- Keyword
-
Verteiltes System
Softwarearchitektur
Komponente
Konnektor
Modellgetriebene Entwicklung
Entwurfssprache
Spezifikationstechnik
Schrittweise Verfeinerung
Verifikation
Reaktives System
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2022
- Creator
- Contributor
-
Rumpe, Bernhard
Chechik, Marsha
- DOI
-
10.18154/RWTH-CONV-207172
- URN
-
urn:nbn:de:101:1-2022062011290215425482
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:38 AM CEST
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
- Ringert, Jan Oliver
- Rumpe, Bernhard
- Chechik, Marsha
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2022
Other Objects (12)
An extensible component & connector architecture description infrastructure for multi-platform modeling
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
MontiArc - architectural modeling and simulation of interactive distributed systems
On the relationship between models and ontologies
On the relationship between models and ontologies
Modeling of, for, and with digital twins
Modeling of, for, and with digital twins
Reflection on the differences between modeling and programming
Reflection on the differences between modeling and programming
Model-driven architecture and behavior of cyber-physical systems
Analysis and synthesis of interactive component and connector systems
Reflections on the standardization of SysML 2
An extensible component & connector architecture description infrastructure for multi-platform modeling
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
MontiArc - architectural modeling and simulation of interactive distributed systems
On the relationship between models and ontologies
On the relationship between models and ontologies
Modeling of, for, and with digital twins
Modeling of, for, and with digital twins
Reflection on the differences between modeling and programming
Reflection on the differences between modeling and programming
Model-driven architecture and behavior of cyber-physical systems
Analysis and synthesis of interactive component and connector systems
Reflections on the standardization of SysML 2
An extensible component & connector architecture description infrastructure for multi-platform modeling
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
MontiArc - architectural modeling and simulation of interactive distributed systems
On the relationship between models and ontologies
On the relationship between models and ontologies
Modeling of, for, and with digital twins
Modeling of, for, and with digital twins
Reflection on the differences between modeling and programming
Reflection on the differences between modeling and programming
Model-driven architecture and behavior of cyber-physical systems
Analysis and synthesis of interactive component and connector systems