LEADER 04773nam  22008415  450 
001 9910483966503321
005 20251226203333.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(BIP)32374071
035   $a(BIP)13450496
035   $a(EXLCZ)991000000000233013
100   $a20100301d2006      u|         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 /$fedited by Roberto Gorrieri, Heike Wehrheim
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (X, 270 p.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4037
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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.
330   $aThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v4037
606   $aComputer networks
606   $aComputer programming
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aComputer Communication Networks
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aOperating Systems
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
615  0$aComputer networks.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aOperating systems (Computers).
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615 14$aComputer Communication Networks.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
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