LEADER 03553nam  2200601 a 450 
001 9910483966503321
005 20200520144314.0
010   $a3-540-34895-6
024 7 $a10.1007/11768869
035   $a(CKB)1000000000233013
035   $a(SSID)ssj0000317720
035   $a(PQKBManifestationID)11248912
035   $a(PQKBTitleCode)TC0000317720
035   $a(PQKBWorkID)10294560
035   $a(PQKB)11106954
035   $a(DE-He213)978-3-540-34895-5
035   $a(MiAaPQ)EBC3068150
035   $a(PPN)123135788
035   $a(EXLCZ)991000000000233013
100   $a20060502d2006      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods for open object-based distributed systems $e8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /$fRoberto Gorrieri, Heike Wehrheim (eds.)
205   $a1st ed. 2006.
210   $aBerlin ;$aNew York $cSpringer$dc2006
215   $a1 online resource (X, 270 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v4037
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-34893-X 
320   $aIncludes bibliographical references and index.
327   $aInvited 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.
410  0$aLecture notes in computer science ;$v4037.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aFMOODS 2006
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   $a005.1/17
701   $aGorrieri$b Roberto$0597785
701   $aWehrheim$b Heike$01351239
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   $a9910483966503321
996   $aFormal methods for open object-based distributed systems$94191362
997   $aUNINA