LEADER 03667nam  2200661   450 
001 996465919503316
005 20220816223118.0
010   $a1-280-94388-2
010   $a9786610943883
010   $a3-540-72952-6
024 7 $a10.1007/978-3-540-72952-5
035   $a(CKB)1000000000490582
035   $a(EBL)3061599
035   $a(SSID)ssj0000296712
035   $a(PQKBManifestationID)11267043
035   $a(PQKBTitleCode)TC0000296712
035   $a(PQKBWorkID)10327242
035   $a(PQKB)11735013
035   $a(DE-He213)978-3-540-72952-5
035   $a(MiAaPQ)EBC3061599
035   $a(MiAaPQ)EBC6806140
035   $a(Au-PeEL)EBL6806140
035   $a(OCoLC)184905119
035   $a(PPN)123162831
035   $a(EXLCZ)991000000000490582
100   $a20220816d2007      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aFormal methods for open object-based distributed systems $e9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, 06-08.06.2007 : proceedings /$fedited by Marcello M. Bonsangue, Einar Broch Johnsen
205   $a1st ed. 2007.
210  1$aBerlin, Heidelberg :$cSpringer-Verlag,$d[2007]
210  4$dİ2007
215   $a1 online resource (326 p.)
225 1 $aLecture Notes in Computer Science ;$v4468
300   $aDescription based upon print version of record.
311   $a3-540-72919-4 
320   $aIncludes bibliographical references and index.
327   $aInvited Talks -- Asynchronous Session Types and Progress for Object Oriented Languages -- KeY: A Formal Method for Object-Oriented Systems -- Model Checking -- Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking -- Model Checking of Extended OCL Constraints on UML Models in SOCLe -- Analysis of UML Activities Using Dynamic Meta Modeling -- Rewriting Logic -- Distributed Applications Implemented in Maude with Parameterized Skeletons -- On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance -- Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude -- Components and Services -- Adaptation of Open Component-Based Systems -- A Representation-Independent Behavioral Semantics for Object-Oriented Components -- A Formal Language for Electronic Contracts -- Algebraic Calculi -- A Mechanized Model of the Theory of Objects -- Pict Correctness Revisited -- Specification, Verfication and Refinenment -- A Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes -- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs -- Quality of Service -- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders -- A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems -- On Resource-Sensitive Timed Component Connectors.
410  0$aLecture notes in computer science ;$v4468.
606   $aComputer science
606   $aSoftware engineering
615  0$aComputer science.
615  0$aSoftware engineering.
676   $a004
702   $aBonsangue$b Marcello M.
702   $aJohnsen$b Einar Broch
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   $a996465919503316
996   $aFormal Methods for Open Object-Based Distributed Systems$9772204
997   $aUNISA