Hochschulschrift
Analysis and synthesis of interactive component and connector systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844031201
- Maße
-
24 cm, 714 g
- Umfang
-
450 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2014
- Erschienen in
-
Aachener Informatik-Berichte, Software-Engineering ; Bd. 19
- Schlagwort
-
Verteiltes System
Softwarearchitektur
Komponente
Konnektor
Modellgetriebene Entwicklung
Entwurfssprache
Spezifikationstechnik
Schrittweise Verfeinerung
Verifikation
Reaktives System
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:15 MESZ
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
- Shaker
Entstanden
- 2014
Ähnliche Objekte (12)
Analysis and synthesis of interactive component and connector systems
Automatic synthesis of component & connector software architectures with bounded combinatory logic
Component and Connector Views in Practice: An Experience Report (extended abstract)
An extensible component & connector architecture description infrastructure for multi-platform modeling
An extensible component & connector architecture description infrastructure for multi-platform modeling
SAP business connector : applications and development
Kabelladerverbinder "picabond connector"
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
The type C connector and USB 3.1
Cloud Connector für SAP®
Electrochemistry: connector of sciences
Analysis and synthesis of interactive component and connector systems
Automatic synthesis of component & connector software architectures with bounded combinatory logic
Component and Connector Views in Practice: An Experience Report (extended abstract)
An extensible component & connector architecture description infrastructure for multi-platform modeling
An extensible component & connector architecture description infrastructure for multi-platform modeling
SAP business connector : applications and development
Kabelladerverbinder "picabond connector"
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
The type C connector and USB 3.1
Cloud Connector für SAP®
Electrochemistry: connector of sciences
Analysis and synthesis of interactive component and connector systems
Automatic synthesis of component & connector software architectures with bounded combinatory logic
Component and Connector Views in Practice: An Experience Report (extended abstract)
An extensible component & connector architecture description infrastructure for multi-platform modeling
An extensible component & connector architecture description infrastructure for multi-platform modeling
SAP business connector : applications and development
Kabelladerverbinder "picabond connector"
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
The type C connector and USB 3.1
Cloud Connector für SAP®