8. FMOODS 2006:
Bologna, Italy
Roberto Gorrieri, Heike Wehrheim (Eds.):
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings.
Lecture Notes in Computer Science 4037 Springer 2006, ISBN 3-540-34893-X 
Invited Speakers
Regular Papers
- Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon:
An Approach to Quality Achievement at the Architectural Level: AQUA.
20-32
- Pascal Poizat, Jean-Claude Royer, Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components.
33-47
- Iulian Ober, Susanne Graf, David Lesens:
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
48-62
- Carlos Canal, Pascal Poizat, Gwen Salaün:
Synchronizing Behavioural Mismatch in Software Composition.
63-77
- Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.
78-92
- Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano:
Temporal Superimposition of Aspects for Dynamic Software Architecture.
93-107
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.
108-122
- Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Transformation Laws for UML-RT.
123-137
- Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen:
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.
138-155
- Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann:
Generating Instance Models from Meta Models.
156-170
- Frédéric Jouault, Jean Bézivin:
KM3: A DSL for Metamodel Specification.
171-185
- Harmen Kastenberg, Anneke Kleppe, Arend Rensink:
Defining Object-Oriented Execution Semantics Using Graph Transformations.
186-201
- Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe:
Type-Safe Runtime Class Upgrades in Creol.
202-217
- Erika Ábrahám, Andreas Grüner, Martin Steffen:
Abstract Interface Behavior of Object-Oriented Languages with Monitors.
218-232
- Claudio Guidi, Roberto Lucchi:
Mobility Mechanisms in Service Oriented Computing.
233-250
- Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He:
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
251-266
Last update Tue May 21 16:40:09 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
