Abstract is missing.
- BVR - Better Variability ResultsØystein Haugen, Ommund Øgård. 1-15 [doi]
- MID: A MetaCASE Tool for a Better Reuse of Visual NotationsAmine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Pierre Boulet, Sébastien Gérard. 16-31 [doi]
- An Empirical Study on the Anticipation of the Result of Copying and Pasting among UML EditorsDaniel Liabeuf, Xavier Le Pallec, José Rouillard. 32-47 [doi]
- Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution TracesJameleddine Hassine, Abdelwahab Hamou-Lhadj. 48-63 [doi]
- Architecture Framework for Software SafetyHavva Gülay Gürbüz, Nagehan Pala Er, Bedir Tekinerdogan. 64-79 [doi]
- Search-Based Model Optimization Using Model TransformationsJoachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe. 80-95 [doi]
- Associativity between Weak and Strict SequencingGregor von Bochmann. 96-109 [doi]
- Efficient Representation of Timed UML 2 InteractionsAlexander Knapp, Harald Störrle. 110-125 [doi]
- Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive SystemsSabine Winetzhammer, Joel Greenyer, Matthias Tichy. 126-141 [doi]
- A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural LanguagesMan Zhang, Tao Yue, Shaukat Ali, HuiHui Zhang, Ji Wu. 142-157 [doi]
- Acceptance Test OptimizationMohamed Mussa, Ferhat Khendek. 158-173 [doi]
- Verifying Hypermedia Applications by Using an MDE ApproachDelcino Picinin Júnior, Cristian Koliver, Celso A. S. Santos, Jean-Marie Farines. 174-189 [doi]
- Revisiting Model-Driven Engineering for Run-Time Verification of Business ProcessesWei Dou 0001, Domenico Bianculli, Lionel C. Briand. 190-197 [doi]
- Model-Based Testing: An Approach with SDL/RTDS and DIVERSITYJulien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre. 198-206 [doi]
- On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in SimulinkLukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier. 207-222 [doi]
- Insights on the Use of OCL in Diverse Industrial ApplicationsShaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege. 223-238 [doi]
- Model-Based Mining of Source Code RepositoriesMarkus Scheidgen, Joachim Fischer. 239-254 [doi]
- Towards an Extensible Modeling and Validation Framework for SDL-UMLAlexander Kraas. 255-270 [doi]
- SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPSTobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater. 271-286 [doi]
- Formal Technical Process Specification and Verification for Automated Production SystemsGeorg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser. 287-303 [doi]
- Prototyping SDL ExtensionsAndreas Blunk, Joachim Fischer. 304-311 [doi]