DagRep.9.11.97.pdf
- Filesize: 11.05 MB
- 20 pages
Document
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 9, Issue 11
Volume: Dagstuhl Reports, Volume 9
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2020-03-31
Cite As Get BibTex
Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, and Steffen Zschaler. Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). In Dagstuhl Reports, Volume 9, Issue 11, pp. 97-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/DagRep.9.11.97
Abstract
This report documents the program and the outcomes of the Dagstuhl Seminar 19481 "Composing Model-Based Analysis Tools". The key objective of the seminar was to provide more flexibility in model-driven engineering by bringing together representatives from industry and researchers in the formal methods and software engineering communities to establishing the foundations for a common understanding on the modularity and composition of modeling languages and model-based analyses.
Subject Classification
ACM Subject Classification
- General and reference → General literature
Keywords
- Modelling
- Simulation
- Semantics
- Formal Methods
- Software Engineering
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads