| The COMPAS Project |
| Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar |
| Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab |
| The CREDO Project |
| A Real-Time Extension of Creol for Modelling Biomedical Sensors / Marcel Kyas ; Einar Broch Johnsen |
| Conformance Testing of Distributed Concurrent Systems with Executable Designs / Bernhard K. Aichernig ; Andreas Griesmayer ; Rudolf Schlatte ; Andries Stam |
| Formal Verification for Components and Connectors / Christel Baier ; Tobias Blechmann ; Joachim Klein ; Sascha Kt&uuuml;ppelholz |
| The DEPLOY Project |
| Formal Modular Modelling of Context-Awareness / Mats Neovius ; Kaisa Sere |
| Towards Demonstrably Correct Compilation of Java Byte Code / Michael Leuschel |
| Incremental System Modelling in Event-B / Stefan Hallerstede |
| The GRIDCOMP Project |
| An Asynchronous Distributed Component Model and Its Semantics / Ludovic Henrio ; Florian Kamm&uuuml;ller ; Marcela Rivera |
| Specification and Verification for Grid Component-Based Applications: From Models to Tools / Antonio Cansado ; Eric Madelaine |
| Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed programming / M. Aldinucci ; M. Danelutto ; P. Kilpatrick |
| The MOBIUS Project |
| Session-Based Compilation Framework for Multicore Programming / Nobuko Yoshida ; Vasco Vasconcelos ; Hervé Paulino ; Kohei Honda |
| Abstract Interpretation of Symbolic Execution with Explicit State Updates / Richard Bubel ; Reiner Hähnle ; Benjamin Weiß |
| BML and Related Tools / Jacek Chrz&acedil;szcz ; Marieke Huisman ; Aleksy Schubert |
| Author Index |
| The COMPAS Project |
| Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar |
| Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab |
ＥＢ
