Abstract is missing.
- A Framework for Testing UML Activities Based on fUMLStefan Mijatov, Philip Langer, Tanja Mayerhofer, Gerti Kappel. 1-10 [doi]
- Building Test Harness From Service-based Component ModelsPascal André, Jean-Marie Mottu, Gilles Ardourel. 11-20 [doi]
- Feature-based Development of State Transition Diagrams with Property PreservationChristian Prehofer. 21-30 [doi]
- Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State MachinesPetra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl. 31-40 [doi]
- Applying Model Transformation and Event-B for Specifying an Industrial DSLUlyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff. 41-50 [doi]
- Ensuring OSGi Component Based Properties at Runtime with Behavioral TypesJan Olaf Blech. 51-60 [doi]
- Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF EcosystemsNico Nachtigall, Benjamin Braatz, Thomas Engel. 61-66 [doi]
- Research Questions for Validation and Verification in the Context of Model-Based EngineeringCatherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter. 67-76 [doi]
- An Approach to Analyzing Temporal Properties in UML Class ModelsMustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray. 77-86 [doi]