1. The 9th annual state of SoSyM report

   Editorial 13 November 2010 Pages: 1 - 3

2. VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs

   • Huy Tran
   • Uwe Zdun
   • Schahram Dustdar

   Theme Section 02 November 2009 Pages: 5 - 29

3. Semantics of trace relations in requirements models for consistency checking and inferencing

   • Arda Goknil
   • Ivan Kurtev
   • Jan-Willem Veldhuis

   Theme Section Open access 13 December 2009 Pages: 31 - 54

4. Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

   • Joaquin Peña
   • Christopher A. Rouff
   • Antonio Ruiz-Cortés

   Expert's Voice 09 October 2009 Pages: 55 - 62

5. Synthesis of test scenarios using UML activity diagrams

   • Ashalatha Nayak
   • Debasis Samanta

   Regular Paper 16 October 2009 Pages: 63 - 89

6. Design verification in model-based μ-controller development using an abstract component

   • Yunja Choi
   • Christian Bunse

   Regular Paper 18 February 2010 Pages: 91 - 115

7. Exploring inconsistencies between modal transition systems

   • Mathieu Sassolas
   • Marsha Chechik
   • Sebastian Uchitel

   Regular Paper 11 February 2010 Pages: 117 - 142