Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Aachen, Germany : RWTH Aachen, 2021 (CEUR workshop proceedings; 2814), Seiten/Artikel-Nr:1-22
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2021
- Creator
-
Kausch, Hendrik
Pfeiffer, Mathias
Raco, Deni
Rumpe, Bernhard
- DOI
-
10.18154/RWTH-2021-05459
- URN
-
urn:nbn:de:101:1-2021061103273799641117
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kausch, Hendrik
- Pfeiffer, Mathias
- Raco, Deni
- Rumpe, Bernhard
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2021
Other Objects (12)
Reflections on the standardization of SysML 2
On Implementing Open World Semantic Differencing for Class Diagrams
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems
On the relationship between models and ontologies
Model-driven architecture and behavior of cyber-physical systems
Reflection on the differences between modeling and programming
Explicit versus implicit models : What are good languages for modeling?
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
The wild-west of modeling (Revisited)
MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
Reflections on the standardization of SysML 2
On Implementing Open World Semantic Differencing for Class Diagrams
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems
On the relationship between models and ontologies
Model-driven architecture and behavior of cyber-physical systems
Reflection on the differences between modeling and programming
Explicit versus implicit models : What are good languages for modeling?
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
The wild-west of modeling (Revisited)
MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
Reflections on the standardization of SysML 2
On Implementing Open World Semantic Differencing for Class Diagrams
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems
On the relationship between models and ontologies
Model-driven architecture and behavior of cyber-physical systems
Reflection on the differences between modeling and programming
Explicit versus implicit models : What are good languages for modeling?
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
The wild-west of modeling (Revisited)
MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering