1 option
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.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024)- Format:
- Book
- 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.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.