Abstract is missing.
- Mapping Component Models on Distributed Architectures: Correctness CheckingChristian Attiogbé. 1-9 [doi]
- Discovering Timing Feature Interactions with Timed UML 2 InteractionsHarald Störrle, Alexander Knapp. 10-19 [doi]
- Abstract Interpretation for Block Diagrams - Two Case StudiesChristian Dernehl, Jan Kühn, Stefan Kowalewski. 20-29 [doi]
- A DSL to Feedback Formal Verification ResultsFaiez Zalila, Xavier Crégut, Marc Pantel. 30-39 [doi]
- Integrating an SMT-Based ModelFinder into USENils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler. 40-45 [doi]
- Modeling State Diagrams with And-Cross TransitionsOpeyemi Adesina, Stéphane S. Somé, Timothy Lethbridge. 46-53 [doi]
- A Systematic Approach for Designing Mutation Operators for MDE LanguagesFaisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander. 54-59 [doi]