LEADER 03590nam  2200577 a 450 
001 9910483180303321
005 20200520144314.0
024 7 $a10.1007/b136996
035   $a(CKB)1000000000213035
035   $a(SSID)ssj0000317719
035   $a(PQKBManifestationID)11208036
035   $a(PQKBTitleCode)TC0000317719
035   $a(PQKBWorkID)10294559
035   $a(PQKB)11299721
035   $a(DE-He213)978-3-540-31556-8
035   $a(MiAaPQ)EBC3068332
035   $a(PPN)123095220
035   $a(EXLCZ)991000000000213035
100   $a20050429d2005      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods for open object-based distributed systems $e7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /$fMartin Steffen, Gianluigi Zavattaro (eds.)
205   $a1st ed. 2005.
210   $aBerlin ;$aNew York $cSpringer$dc2005
215   $a1 online resource (X, 326 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v3535
300   $a"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref.
311 08$aPrinted edition: 9783540261810 
320   $aIncludes bibliographical references and index.
327   $aInvited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Semantics for UML-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming Information in RDF to Rewriting Logic -- Modeling- and Analysis Techniques for Web Services and Business Processes -- A Distributed Implementation of Mobile Nets as Mobile Agents -- Specification and Verification -- On Correctness of Dynamic Protocol Update -- Property-Driven Development of a Coordination Model for Distributed Simulations -- A Timing Analysis of AODV.
410  0$aLecture notes in computer science ;$v3535.
517 3 $aFMOODS 2005
606   $aElectronic data processing$xDistributed processing$vCongresses
606   $aObject-oriented programming (Computer science)$vCongresses
615  0$aElectronic data processing$xDistributed processing
615  0$aObject-oriented programming (Computer science)
676   $a004.6
701   $aSteffen$b Martin$01751457
701   $aZavattaro$b Gianluigi$01754873
712 02$aIFIP Working Group 6.1.
712 12$aInternational Conference on Formal Methods for Open Object-Based Distributed Systems
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483180303321
996   $aFormal methods for open object-based distributed systems$94191385
997   $aUNINA