Abstract is missing.
- Reusable Architectural Decision Model for Model and Metadata RepositoriesChristine Mayr, Uwe Zdun, Schahram Dustdar. 1-20 [doi]
- Formal Behavioral Modeling and Compliance Analysis for Service-Oriented SystemsNatallia Kokash, Farhad Arbab. 21-41 [doi]
- A Real-Time Extension of Creol for Modelling Biomedical SensorsMarcel Kyas, Einar Broch Johnsen. 42-60 [doi]
- Conformance Testing of Distributed Concurrent Systems with Executable DesignsBernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam. 61-81 [doi]
- Formal Verification for Components and ConnectorsChristel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz. 82-101 [doi]
- Formal Modular Modelling of Context-AwarenessMats Neovius, Kaisa Sere. 102-118 [doi]
- Incremental System Modelling in Event-BStefan Hallerstede. 139-158 [doi]
- An Asynchronous Distributed Component Model and Its SemanticsLudovic Henrio, Florian Kammüller, Marcela Rivera. 159-179 [doi]
- Specification and Verification for Grid Component-Based Applications: From Models to ToolsAntonio Cansado, Eric Madelaine. 180-203 [doi]
- Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed ProgrammingMarco Aldinucci, Marco Danelutto, Peter Kilpatrick. 204-225 [doi]
- Session-Based Compilation Framework for Multicore ProgrammingNobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda. 226-246 [doi]
- Abstract Interpretation of Symbolic Execution with Explicit State UpdatesRichard Bubel, Reiner Hähnle, Benjamin Weiß. 247-277 [doi]
- BML and Related ToolsJacek Chrzaszcz, Marieke Huisman, Aleksy Schubert. 278-297 [doi]