default search action
8th FMOODS 2006: Bologna, Italy
- Roberto Gorrieri
, Heike Wehrheim:
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
- Massimo Bartoletti
Security Issues in Service Composition. 1-16 - José Luiz Fiadeiro:
Separating Distribution from Coordination and Computation as Architectural Dimensions. 17 - Davide Sangiorgi:
The Bisimulation Proof Method: Enhancements and Open Problems. 18-19
Regular Papers
- Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon:
An Approach to Quality Achievement at the Architectural Level: AQUA. 20-32 - Pascal Poizat
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
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
Temporal Superimposition of Aspects for Dynamic Software Architecture. 93-107 - Ruggero Lanotte
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
Type-Safe Runtime Class Upgrades in Creol. 202-217 - Erika Ábrahám
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: