Monografie
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
- Ausgabe
-
[1. Auflage]
- Sprache
-
Englisch
- Umfang
-
440 Seiten
- ISBN
-
978-3-8440-7239-6
- Identifier
-
1204072876
- Reihe
-
Aachener Informatik-Berichte, Software-Engineering; Band 44
Thema
Cyber-physisches System ; Eingebettetes System ; Modellgetriebene Entwicklung ; AML ; OCL ; Komponente ; Konnektor ; Requirements engineering ; Grafische Darstellung ; Cooperating objects (Computer systems); Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:24 MESZ
Objekttyp
- Monografie
Beteiligte
- Wenckstern, Michael$cvon
- Shaker Verlag
Ähnliche Objekte (12)
Model-driven architecture and behavior of cyber-physical systems
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
MontiCore: efficient development of composed modeling language essentials
Operation-based model recommenders
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Praktische Ansätze zur Etablierung einer Software-Produktlinie in eine bestehende Mehr-Produkt-Entwicklung
Modellgetriebene, agile Entwicklung und Evolution mehrbenutzerfähiger Enterprise Applikationen mit MontiEE
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Model analyses based on semantic differencing and automatic model repair
MontiArc - architectural modeling and simulation of interactive distributed systems
An extensible component & connector architecture description infrastructure for multi-platform modeling
Adaptable code generation of consistent and customizable data-centric applications with MontiDEx
Model-driven architecture and behavior of cyber-physical systems
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
MontiCore: efficient development of composed modeling language essentials
Operation-based model recommenders
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Praktische Ansätze zur Etablierung einer Software-Produktlinie in eine bestehende Mehr-Produkt-Entwicklung
Modellgetriebene, agile Entwicklung und Evolution mehrbenutzerfähiger Enterprise Applikationen mit MontiEE
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Model analyses based on semantic differencing and automatic model repair
MontiArc - architectural modeling and simulation of interactive distributed systems
An extensible component & connector architecture description infrastructure for multi-platform modeling
Adaptable code generation of consistent and customizable data-centric applications with MontiDEx
Model-driven architecture and behavior of cyber-physical systems
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
MontiCore: efficient development of composed modeling language essentials
Operation-based model recommenders
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Praktische Ansätze zur Etablierung einer Software-Produktlinie in eine bestehende Mehr-Produkt-Entwicklung
Modellgetriebene, agile Entwicklung und Evolution mehrbenutzerfähiger Enterprise Applikationen mit MontiEE
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Model analyses based on semantic differencing and automatic model repair
MontiArc - architectural modeling and simulation of interactive distributed systems
An extensible component & connector architecture description infrastructure for multi-platform modeling