06351 Summary – Methods for Modelling Software Systems (MMOSS)

Brinksma, Ed; Harel, David; Mader, Angelika; Stevens, Perdita; Wieringa, Roel

doi:10.4230/DagSemProc.06351.2

Document

06351 Summary – Methods for Modelling Software Systems (MMOSS)

Authors Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 6351
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-04-11

PDF

File

DagSemProc.06351.2.pdf

Filesize: 78 kB
4 pages

Document Identifiers

DOI: 10.4230/DagSemProc.06351.2
URN: urn:nbn:de:0030-drops-9574

Author Details

Ed Brinksma

David Harel

Angelika Mader

Perdita Stevens

Roel Wieringa

Cite AsGet BibTex

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa. 06351 Summary – Methods for Modelling Software Systems (MMOSS). In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.06351.2

Abstract

We survey the key objectives and the structure of this Dagstuhl seminar, and discuss common themes that emerged.

Keywords

Modelling Methods
Design Models
Verification Models
Problem-solution co-refinement

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail