License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-9574
URL: https://drops.dagstuhl.de/opus/volltexte/2007/957/
Go to the corresponding Portal |
Brinksma, Ed ;
Harel, David ;
Mader, Angelika ;
Stevens, Perdita ;
Wieringa, Roel
06351 Summary -- Methods for Modelling Software Systems (MMOSS)
Abstract
We survey the key objectives and the structure of this Dagstuhl seminar,
and discuss common themes that emerged.
BibTeX - Entry
@InProceedings{brinksma_et_al:DSP:2007:957,
author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
title = {06351 Summary -- Methods for Modelling Software Systems (MMOSS)},
booktitle = {Methods for Modelling Software Systems (MMOSS)},
year = {2007},
editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
number = {06351},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2007/957},
annote = {Keywords: Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement}
}
Keywords: |
|
Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement |
Collection: |
|
06351 - Methods for Modelling Software Systems (MMOSS) |
Issue Date: |
|
2007 |
Date of publication: |
|
11.04.2007 |