Document Open Access Logo

Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)

Authors Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, Steffen Zschaler and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.9.11.97.pdf
  • Filesize: 11.05 MB
  • 20 pages

Document Identifiers

Author Details

Francisco Durán
  • University of Málaga, ES
Robert Heinrich
  • KIT - Karlsruhe, DE
Diego Pérez-Palacín
  • Linnaeus University - Växjö, SE
Carolyn L. Talcott
  • SRI - Menlo Park, US
Steffen Zschaler
  • King’s College London, GB
and all authors of the abstracts in this report

Cite AsGet 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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail