> Details

Brinksma, Ed [Author]; Harel, David [Author]; Mader, Angelika [Author]; Stevens, Perdita [Author]; Wieringa, Roel [Author] ; Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa [Contributor]

06351 Summary – Methods for Modelling Software Systems (MMOSS)

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Electronic Conference Proceeding; E-Article; Text
  • Title: 06351 Summary – Methods for Modelling Software Systems (MMOSS)
  • Contributor: Brinksma, Ed [Author]; Harel, David [Author]; Mader, Angelika [Author]; Stevens, Perdita [Author]; Wieringa, Roel [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
  • Language: English
  • DOI: https://doi.org/10.4230/DagSemProc.06351.2
  • Keywords: Modelling Methods ; Design Models ; Verification Models ; Problem-solution co-refinement
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: We survey the key objectives and the structure of this Dagstuhl seminar, and discuss common themes that emerged.
  • Access State: Open Access