Dagstuhl Seminar Proceedings: Methods for Modelling Software Systems 2006

• Bernhard Schätz, Eva Geisberger, Johannes Grünbauer:
  A Model-Based Approach To Requirements Analysis.
  
• María Victoria Cengarle:
  System model for UML -- The interactions case.
  
• Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel:
  Partial Behavioural Models for Requirements and Early Design.
  
• Jorge Fox, Jan Jürjens:
  A Framework for Analyzing Composition of Security Aspects.
  
• Jorge Fox:
  A Taxonomy of Aspects in Terms of Crosscutting Concerns.
  
• Martin Gogolla:
  Model Development in the UML-based Specification Environment (USE).
  
• Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg:
  The Formal Specification Language mCRL2.
  
• Michael Jackson:
  Structural Relationships among Models.
  
• Jean-Marc Jézéquel:
  Modeling and Aspect Weaving.
  
• Oscar Pastor:
  Model Transformation Technologies in the Context of Modelling Software Systems.
  
• Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa:
  06351 Summary -- Methods for Modelling Software Systems (MMOSS).
  
• Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa:
  06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS).