Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Lee, David (Επιμελητής έκδοσης), Lopes, Antónia (Επιμελητής έκδοσης), Poetzsch-Heffter, Arnd (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5522
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Logics and Meanings of Programs.

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009....

Πίνακας περιεχομένων:

• Invited Contribution
• The Orc Programming Language
• Regular Contributions
• Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
• Approximated Context-Sensitive Analysis for Parameterized Verification
• Verification of Parameterized Systems with Combinations of Abstract Domains
• On Model-Checking Optimistic Replication Algorithms
• Recursive Parametric Automata and ?-Removal
• A Software Platform for Timed Mobility and Timed Interaction
• Modeling, Validation, and Verification of PCEP Using the IF Language
• Distinguing Non-deterministic Timed Finite State Machines
• System Model-Based Definition of Modeling Language Semantics
• Typing Component-Based Communication Systems
• Epistemic Logic for the Applied Pi Calculus
• On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
• Short Papers
• Using First-Order Logic to Reason about Submodule Construction
• A Model-Checking Approach for Service Component Architectures
• Dynamic Symbolic Execution of Distributed Concurrent Objects
• Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach
• A Type Graph Model for Java Programs
• Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.