Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / [electronic resource] : edited by Marcello M. Bonsangue, Einar Broch Johnsen. - 1st ed. 2007. - X, 317 p. online resource. - Programming and Software Engineering, 4468 2945-9168 ; . - Programming and Software Engineering, 4468 .

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.

9783540729525

10.1007/978-3-540-72952-5 doi


Compilers (Computer programs).
Computer networks .
Computer programming.
Software engineering.
Operating systems (Computers).
Computer science.
Compilers and Interpreters.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Operating Systems.
Computer Science Logic and Foundations of Programming.

QA76.76.C65

005.45