Monografie
Analysis and synthesis of interactive component and connector systems
- Sprache
-
Englisch
- Umfang
-
450 S.
- Anmerkungen
-
Zugl.: Aachen, Techn. Hochsch., Diss., 2014
- ISBN
-
978-3-8440-3120-1
- Identifier
-
1058753487
- Reihe
-
Aachener Informatik-Berichte, Software-Engineering; Bd. 19
Thema
Verteiltes System ; Softwarearchitektur ; Komponente ; Konnektor ; Modellgetriebene Entwicklung ; Entwurfssprache ; Spezifikationstechnik ; Schrittweise Verfeinerung ; Verifikation ; Reaktives System ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:47 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Analysis and synthesis of interactive component and connector systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Model analyses based on semantic differencing and automatic model repair
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P
MontiArc - architectural modeling and simulation of interactive distributed systems
Towards an Isabelle theory for distributed, interactive systems : the untimed case
MontiCore: agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
An extensible component & connector architecture description infrastructure for multi-platform modeling
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
Modellbasierte Entwicklung automobiler Steuerungssysteme in kleinen und mittelständischen Unternehmen
MontiCore: efficient development of composed modeling language essentials
Automotive Software : Prozesse, Modelle und Variabilität
Analysis and synthesis of interactive component and connector systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Model analyses based on semantic differencing and automatic model repair
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P
MontiArc - architectural modeling and simulation of interactive distributed systems
Towards an Isabelle theory for distributed, interactive systems : the untimed case
MontiCore: agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
An extensible component & connector architecture description infrastructure for multi-platform modeling
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
Modellbasierte Entwicklung automobiler Steuerungssysteme in kleinen und mittelständischen Unternehmen
MontiCore: efficient development of composed modeling language essentials
Automotive Software : Prozesse, Modelle und Variabilität
Analysis and synthesis of interactive component and connector systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Model analyses based on semantic differencing and automatic model repair
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P
MontiArc - architectural modeling and simulation of interactive distributed systems
Towards an Isabelle theory for distributed, interactive systems : the untimed case
MontiCore: agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
An extensible component & connector architecture description infrastructure for multi-platform modeling
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
Modellbasierte Entwicklung automobiler Steuerungssysteme in kleinen und mittelständischen Unternehmen
MontiCore: efficient development of composed modeling language essentials