000 04356nam a22006135i 4500
001 978-3-642-02138-1
003 DE-He213
005 20240423125445.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642021381
_9978-3-642-02138-1
024 7 _a10.1007/978-3-642-02138-1
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aFormal Techniques for Distributed Systems
_h[electronic resource] :
_bJoint 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 /
_cedited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aXII, 249 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5522
505 0 _aInvited 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.
520 _aThis 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. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.
650 0 _aComputer networks .
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aComputer programming.
650 0 _aComputer science.
650 1 4 _aComputer Communication Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aLee, David.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aLopes, Antonia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPoetzsch-Heffter, Arnd.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642021374
776 0 8 _iPrinted edition:
_z9783642021398
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5522
856 4 0 _uhttps://doi.org/10.1007/978-3-642-02138-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c178149
_d178149