VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs Huy TranUwe ZdunSchahram Dustdar Theme Section 02 November 2009 Pages: 5 - 29
Semantics of trace relations in requirements models for consistency checking and inferencing Arda GoknilIvan KurtevJan-Willem Veldhuis Theme Section Open access 13 December 2009 Pages: 31 - 54
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods Joaquin PeñaChristopher A. RouffAntonio Ruiz-Cortés Expert's Voice 09 October 2009 Pages: 55 - 62
Synthesis of test scenarios using UML activity diagrams Ashalatha NayakDebasis Samanta Regular Paper 16 October 2009 Pages: 63 - 89
Design verification in model-based μ-controller development using an abstract component Yunja ChoiChristian Bunse Regular Paper 18 February 2010 Pages: 91 - 115
Exploring inconsistencies between modal transition systems Mathieu SassolasMarsha ChechikSebastian Uchitel Regular Paper 11 February 2010 Pages: 117 - 142