Hochschulschrift
Analysis and synthesis of interactive component and connector systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Aachen : Shaker, 2014 (Aachener Informatik-Berichte, Software Engineering; 19)
Techn. Hochsch., Dissertation, 2014
- Schlagwort
-
Verteiltes System
Softwarearchitektur
Komponente
Konnektor
Modellgetriebene Entwicklung
Entwurfssprache
Spezifikationstechnik
Schrittweise Verfeinerung
Verifikation
Reaktives System
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2022
- Urheber
- Beteiligte Personen und Organisationen
-
Rumpe, Bernhard
Chechik, Marsha
- DOI
-
10.18154/RWTH-CONV-207172
- URN
-
urn:nbn:de:101:1-2022062011290215425482
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 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
- Ringert, Jan Oliver
- Rumpe, Bernhard
- Chechik, Marsha
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2022
Ähnliche Objekte (12)
MontiArc - architectural modeling and simulation of interactive distributed systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
On the relationship between models and ontologies
Modeling of, for, and with digital twins
Reflection on the differences between modeling and programming
An extensible component & connector architecture description infrastructure for multi-platform modeling
Model-driven architecture and behavior of cyber-physical systems
Environment and Tools for the Development of Navigation- and Map-based Driver Assistance and Vehicle Guidance Systems
Explicit versus implicit models : What are good languages for modeling?
Reflections on the standardization of SysML 2
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
The wild-west of modeling (Revisited)
MontiArc - architectural modeling and simulation of interactive distributed systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
On the relationship between models and ontologies
Modeling of, for, and with digital twins
Reflection on the differences between modeling and programming
An extensible component & connector architecture description infrastructure for multi-platform modeling
Model-driven architecture and behavior of cyber-physical systems
Environment and Tools for the Development of Navigation- and Map-based Driver Assistance and Vehicle Guidance Systems
Explicit versus implicit models : What are good languages for modeling?
Reflections on the standardization of SysML 2
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
The wild-west of modeling (Revisited)
MontiArc - architectural modeling and simulation of interactive distributed systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
On the relationship between models and ontologies
Modeling of, for, and with digital twins
Reflection on the differences between modeling and programming
An extensible component & connector architecture description infrastructure for multi-platform modeling
Model-driven architecture and behavior of cyber-physical systems
Environment and Tools for the Development of Navigation- and Map-based Driver Assistance and Vehicle Guidance Systems
Explicit versus implicit models : What are good languages for modeling?
Reflections on the standardization of SysML 2
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P