Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / edited by Roberto Gorrieri, Heike Wehrheim.

Format:

• Book

Contributor:

• Gorrieri, Roberto, editor.
• Wehrheim, Heike, editor.
• SpringerLink (Online service)

Series:

• Computer Science (Springer-11645)
• LNCS sublibrary. Programming and software engineering ; SL 2, 4037.
• Programming and Software Engineering ; 4037

Language:

English

Subjects (All):

• Computer networks.
• Computer programming.
• Software engineering.
• Operating systems (Computers).
• Programming languages (Electronic computers).
• Computer logic.
• Computer Communication Networks.
• Programming Techniques.
• Software Engineering.
• Operating Systems.
• Programming Languages, Compilers, Interpreters.
• Logics and Meanings of Programs.

Local Subjects:

• Computer Communication Networks.
• Programming Techniques.
• Software Engineering.
• Operating Systems.
• Programming Languages, Compilers, Interpreters.
• Logics and Meanings of Programs.

Physical Description:

1 online resource (XII, 276 pages).

Edition:

First edition 2006.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.

System Details:

text file PDF

Contents:

• Invited Speakers
• Security Issues in Service Composition
• Separating Distribution from Coordination and Computation as Architectural Dimensions
• The Bisimulation Proof Method: Enhancements and Open Problems
• Regular Papers
• An Approach to Quality Achievement at the Architectural Level: AQUA
• Bounded Analysis and Decomposition for Behavioural Descriptions of Components
• Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
• Synchronizing Behavioural Mismatch in Software Composition
• Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
• Temporal Superimposition of Aspects for Dynamic Software Architecture
• Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
• Transformation Laws for UML-RT
• Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
• Generating Instance Models from Meta Models
• KM3: A DSL for Metamodel Specification
• Defining Object-Oriented Execution Semantics Using Graph Transformations
• Type-Safe Runtime Class Upgrades in Creol
• Abstract Interface Behavior of Object-Oriented Languages with Monitors
• Mobility Mechanisms in Service Oriented Computing
• Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.

Other Format:

Printed edition:

ISBN:

• 978-3-540-34895-5
• 9783540348955

Access Restriction:

Restricted for use by site license.