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)

pdf-format:
06351.SWM.957.pdf (0.08 MB)

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI