Dagstuhl Seminar Proceedings, Volume 6351,

• Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa 06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS) 10.4230/DagSemProc.06351.1
• Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa 06351 Summary – Methods for Modelling Software Systems (MMOSS) 10.4230/DagSemProc.06351.2
• Jorge Fox and Jan Juerjens A Framework for Analyzing Composition of Security Aspects 10.4230/DagSemProc.06351.3
• Bernhard Schätz, Eva Geisberger, and Johannes Grünbauer A Model-Based Approach To Requirements Analysis 10.4230/DagSemProc.06351.4
• Jorge Fox A Taxonomy of Aspects in Terms of Crosscutting Concerns 10.4230/DagSemProc.06351.5
• Martin Gogolla Model Development in the UML-based Specification Environment (USE) 10.4230/DagSemProc.06351.6
• Óscar Pastor Model Transformation Technologies in the Context of Modelling Software Systems 10.4230/DagSemProc.06351.7
• Jean-Marc Jezequel Modeling and Aspect Weaving 10.4230/DagSemProc.06351.8
• Marsha Chechik, Greg Brunet, Dario Fischbein, and Sebastian Uchitel Partial Behavioural Models for Requirements and Early Design 10.4230/DagSemProc.06351.9
• Michael Jackson Structural Relationships among Models 10.4230/DagSemProc.06351.10
• María Victoria Cengarle System model for UML – The interactions case 10.4230/DagSemProc.06351.11
• Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, and Muck van Weerdenburg The Formal Specification Language mCRL2 10.4230/DagSemProc.06351.12