7. FMCO 2008: Sophia Antipolis, France

Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain (Eds.): Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Lecture Notes in Computer Science 5751 Springer 2009, ISBN 978-3-642-04166-2

The COMPAS Project

Christine Mayr, Uwe Zdun, Schahram Dustdar:
Reusable Architectural Decision Model for Model and Metadata Repositories. 1-20
Natallia Kokash, Farhad Arbab:
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. 21-41

Marcel Kyas, Einar Broch Johnsen:
A Real-Time Extension of Creol for Modelling Biomedical Sensors. 42-60
Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam:
Conformance Testing of Distributed Concurrent Systems with Executable Designs. 61-81
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz:
Formal Verification for Components and Connectors. 82-101

Mats Neovius, Kaisa Sere:
Formal Modular Modelling of Context-Awareness. 102-118
Michael Leuschel:
Towards Demonstrably Correct Compilation of Java Byte Code. 119-138
Stefan Hallerstede:
Incremental System Modelling in Event-B. 139-158

Ludovic Henrio, Florian Kammüller, Marcela Rivera:
An Asynchronous Distributed Component Model and Its Semantics. 159-179
Antonio Cansado, Eric Madelaine:
Specification and Verification for Grid Component-Based Applications: From Models to Tools. 180-203
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick:
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming. 204-225

Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda:
Session-Based Compilation Framework for Multicore Programming. 226-246
Richard Bubel, Reiner Hähnle, Benjamin Weiß:
Abstract Interpretation of Symbolic Execution with Explicit State Updates. 247-277
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert:
BML and Related Tools. 278-297