default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th 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, Pierpaolo Degano, Gian-Luigi Ferrari:
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, 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
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 2025-11-28 12:43 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:
