@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/entities/document/10.4230/DagSemProc.06351.1},
  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}
}
@InProceedings{brinksma_et_al:DagSemProc.06351.2,
  author =	{Brinksma, Ed and Harel, David and Mader, Angelika and Stevens, Perdita and Wieringa, Roel},
  title =	{{06351 Summary – Methods for Modelling Software Systems (MMOSS)}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--4},
  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/entities/document/10.4230/DagSemProc.06351.2},
  URN =		{urn:nbn:de:0030-drops-9574},
  doi =		{10.4230/DagSemProc.06351.2},
  annote =	{Keywords: Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement}
}
@InProceedings{fox_et_al:DagSemProc.06351.3,
  author =	{Fox, Jorge and Juerjens, Jan},
  title =	{{A Framework for Analyzing Composition of Security Aspects}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--25},
  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/entities/document/10.4230/DagSemProc.06351.3},
  URN =		{urn:nbn:de:0030-drops-8594},
  doi =		{10.4230/DagSemProc.06351.3},
  annote =	{Keywords: Aspects in software engineering, aspect interference, verification, semantics, formal methods}
}
@InProceedings{schatz_et_al:DagSemProc.06351.4,
  author =	{Sch\"{a}tz, Bernhard and Geisberger, Eva and Gr\"{u}nbauer, Johannes},
  title =	{{A Model-Based Approach To Requirements Analysis}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--9},
  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/entities/document/10.4230/DagSemProc.06351.4},
  URN =		{urn:nbn:de:0030-drops-8663},
  doi =		{10.4230/DagSemProc.06351.4},
  annote =	{Keywords: Requirements, model-based, tool support}
}
@InProceedings{fox:DagSemProc.06351.5,
  author =	{Fox, Jorge},
  title =	{{A Taxonomy of Aspects in Terms of Crosscutting Concerns}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--27},
  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/entities/document/10.4230/DagSemProc.06351.5},
  URN =		{urn:nbn:de:0030-drops-8603},
  doi =		{10.4230/DagSemProc.06351.5},
  annote =	{Keywords: Aspect-orientation, Software Engineering, Taxonomy}
}
@InProceedings{gogolla:DagSemProc.06351.6,
  author =	{Gogolla, Martin},
  title =	{{Model Development in the  UML-based Specification Environment (USE)}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--3},
  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/entities/document/10.4230/DagSemProc.06351.6},
  URN =		{urn:nbn:de:0030-drops-8613},
  doi =		{10.4230/DagSemProc.06351.6},
  annote =	{Keywords: UML, OCL, Model-Driven Development, Validation, Animation, Model Execution,}
}
@InProceedings{pastor:DagSemProc.06351.7,
  author =	{Pastor, \'{O}scar},
  title =	{{Model Transformation Technologies in the Context of Modelling Software Systems}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--15},
  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/entities/document/10.4230/DagSemProc.06351.7},
  URN =		{urn:nbn:de:0030-drops-8659},
  doi =		{10.4230/DagSemProc.06351.7},
  annote =	{Keywords: Information Systems Design, Software Engineering, Model-Based Code Generation}
}
@InProceedings{jezequel:DagSemProc.06351.8,
  author =	{Jezequel, Jean-Marc},
  title =	{{Modeling and Aspect Weaving}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--15},
  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/entities/document/10.4230/DagSemProc.06351.8},
  URN =		{urn:nbn:de:0030-drops-8641},
  doi =		{10.4230/DagSemProc.06351.8},
  annote =	{Keywords: Model Aspect Weaving MDE Kermeta}
}
@InProceedings{chechik_et_al:DagSemProc.06351.9,
  author =	{Chechik, Marsha and Brunet, Greg and Fischbein, Dario and Uchitel, Sebastian},
  title =	{{Partial Behavioural Models for Requirements and Early Design}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--10},
  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/entities/document/10.4230/DagSemProc.06351.9},
  URN =		{urn:nbn:de:0030-drops-8582},
  doi =		{10.4230/DagSemProc.06351.9},
  annote =	{Keywords: Requirements behavioural models}
}
@InProceedings{jackson:DagSemProc.06351.10,
  author =	{Jackson, Michael},
  title =	{{Structural Relationships among Models}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--6},
  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/entities/document/10.4230/DagSemProc.06351.10},
  URN =		{urn:nbn:de:0030-drops-8633},
  doi =		{10.4230/DagSemProc.06351.10},
  annote =	{Keywords: Composition, model, problem, requirement, specificaiton, structure, subproblem}
}
@InProceedings{cengarle:DagSemProc.06351.11,
  author =	{Cengarle, Mar{\'\i}a Victoria},
  title =	{{System model for UML – The interactions case}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--19},
  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/entities/document/10.4230/DagSemProc.06351.11},
  URN =		{urn:nbn:de:0030-drops-8572},
  doi =		{10.4230/DagSemProc.06351.11},
  annote =	{Keywords: System model, UML, interaction}
}
@InProceedings{groote_et_al:DagSemProc.06351.12,
  author =	{Groote, Jan Friso and Mathijssen, Aad and Reniers, Michel and Usenko, Yaroslav and van Weerdenburg, Muck},
  title =	{{The Formal Specification Language mCRL2}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--34},
  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/entities/document/10.4230/DagSemProc.06351.12},
  URN =		{urn:nbn:de:0030-drops-8626},
  doi =		{10.4230/DagSemProc.06351.12},
  annote =	{Keywords: Specification language, abstract data types, process algebra, operational semantics}
}