03669nam 2200661 450 991048473560332120220816223118.01-280-94388-297866109438833-540-72952-610.1007/978-3-540-72952-5(CKB)1000000000490582(EBL)3061599(SSID)ssj0000296712(PQKBManifestationID)11267043(PQKBTitleCode)TC0000296712(PQKBWorkID)10327242(PQKB)11735013(DE-He213)978-3-540-72952-5(MiAaPQ)EBC3061599(MiAaPQ)EBC6806140(Au-PeEL)EBL6806140(OCoLC)184905119(PPN)123162831(EXLCZ)99100000000049058220220816d2007 uy 0engur|n|---|||||txtccrFormal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, 06-08.06.2007 : proceedings /edited by Marcello M. Bonsangue, Einar Broch Johnsen1st ed. 2007.Berlin, Heidelberg :Springer-Verlag,[2007]©20071 online resource (326 p.)Lecture Notes in Computer Science ;4468Description based upon print version of record.3-540-72919-4 Includes bibliographical references and index.Invited 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.Lecture notes in computer science ;4468.Computer scienceSoftware engineeringComputer science.Software engineering.004Bonsangue Marcello M.Johnsen Einar BrochIFIP Working Group 6.1.International Conference on Formal Methods for Open Object-Based Distributed SystemsMiAaPQMiAaPQMiAaPQBOOK9910484735603321Formal Methods for Open Object-Based Distributed Systems772204UNINA