pdf-format: |
|
@InProceedings{brinksma_et_al:DagSemProc.06351.1, author = {Brinksma, Ed and Harel, David and Mader, Angelika and Stevens, Perdita and Wieringa, Roel}, title = {{06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS)}}, booktitle = {Methods for Modelling Software Systems (MMOSS)}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6351}, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2007/958}, URN = {urn:nbn:de:0030-drops-9586}, doi = {10.4230/DagSemProc.06351.1}, annote = {Keywords: Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement} }
Keywords: | Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement | |
Seminar: | 06351 - Methods for Modelling Software Systems (MMOSS) | |
Issue date: | 2007 | |
Date of publication: | 11.04.2007 |