Monografie
Analysis and synthesis of interactive component and connector systems
- Sprache
-
Englisch
- Identifier
-
1260389588
Thema
Verteiltes System ; Softwarearchitektur ; Komponente ; Konnektor ; Modellgetriebene Entwicklung ; Entwurfssprache ; Spezifikationstechnik ; Schrittweise Verfeinerung ; Verifikation ; Reaktives System ; Hochschulschrift
Beteiligte Personen und Organisationen
- DOI
-
10.18154/RWTH-CONV-207172
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
05.07.2022, 13:19 MESZ
Objekttyp
- Monografie
Beteiligte
- Ringert, Jan Oliver
- Rumpe, Bernhard
- Chechik, Marsha
Ähnliche Objekte (12)
Analysis and synthesis of interactive component and connector systems
MontiArc - architectural modeling and simulation of interactive distributed systems
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
Verification in the hierarchical development of reactive systems
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
Coordination models and languages : 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings
Action refinement in end-based choice settings
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Towards an Isabelle theory for distributed, interactive systems : the untimed case
Compositional design and verification of component-based information systems
Modellbasierter Entwurf spontaner Komponentensysteme
System analysis and modeling : about models ; 6th international workshop ; revised selected papers
Analysis and synthesis of interactive component and connector systems
MontiArc - architectural modeling and simulation of interactive distributed systems
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
Verification in the hierarchical development of reactive systems
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
Coordination models and languages : 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings
Action refinement in end-based choice settings
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Towards an Isabelle theory for distributed, interactive systems : the untimed case
Compositional design and verification of component-based information systems
Modellbasierter Entwurf spontaner Komponentensysteme
System analysis and modeling : about models ; 6th international workshop ; revised selected papers
Analysis and synthesis of interactive component and connector systems
MontiArc - architectural modeling and simulation of interactive distributed systems
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
Verification in the hierarchical development of reactive systems
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
Coordination models and languages : 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings
Action refinement in end-based choice settings
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Towards an Isabelle theory for distributed, interactive systems : the untimed case
Compositional design and verification of component-based information systems
Modellbasierter Entwurf spontaner Komponentensysteme