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 BibTeX
Invited Speakers
Regular Papers
- Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon:
An Approach to Quality Achievement at the Architectural Level: AQUA.
20-32
Electronic Edition (link) BibTeX
- Pascal Poizat, Jean-Claude Royer, Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components.
33-47
Electronic Edition (link) BibTeX
- Iulian Ober, Susanne Graf, David Lesens:
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
48-62
Electronic Edition (link) BibTeX
- Carlos Canal, Pascal Poizat, Gwen Salaün:
Synchronizing Behavioural Mismatch in Software Composition.
63-77
Electronic Edition (link) BibTeX
- Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.
78-92
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.
108-122
Electronic Edition (link) BibTeX
- Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Transformation Laws for UML-RT.
123-137
Electronic Edition (link) BibTeX
- Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen:
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.
138-155
Electronic Edition (link) BibTeX
- Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann:
Generating Instance Models from Meta Models.
156-170
Electronic Edition (link) BibTeX
- Frédéric Jouault, Jean Bézivin:
KM3: A DSL for Metamodel Specification.
171-185
Electronic Edition (link) BibTeX
- Harmen Kastenberg, Anneke Kleppe, Arend Rensink:
Defining Object-Oriented Execution Semantics Using Graph Transformations.
186-201
Electronic Edition (link) BibTeX
- Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe:
Type-Safe Runtime Class Upgrades in Creol.
202-217
Electronic Edition (link) BibTeX
- Erika Ábrahám, Andreas Grüner, Martin Steffen:
Abstract Interface Behavior of Object-Oriented Languages with Monitors.
218-232
Electronic Edition (link) BibTeX
- Claudio Guidi, Roberto Lucchi:
Mobility Mechanisms in Service Oriented Computing.
233-250
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:12:19 2009
by Michael Ley (ley@uni-trier.de)
