Ausgabe 1/2011
Inhalt (7 Artikel)
The 9th annual state of SoSyM report
- Editorial
VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs
- Theme Section
Huy Tran, Uwe Zdun, Schahram Dustdar
Semantics of trace relations in requirements models for consistency checking and inferencing
- Open Access
- Theme Section
Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
- Expert's Voice
Joaquin Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz-Cortés
Synthesis of test scenarios using UML activity diagrams
- Regular Paper
Ashalatha Nayak, Debasis Samanta
Design verification in model-based μ-controller development using an abstract component
- Regular Paper
Yunja Choi, Christian Bunse
Exploring inconsistencies between modal transition systems
- Regular Paper
Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel
