TY  - BOOK
AU  - Bonsangue,Marcello M.
AU  - Johnsen,Einar Broch
ED  - SpringerLink (Online service)
TI  - Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540729525
AV  - TK5105.5-5105.9 
U1  - 004.6 23
PY  - 2007///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Operating systems (Computers)
KW  - Logic design
KW  - Computer Science
KW  - Programming Techniques
KW  - Software Engineering
KW  - Operating Systems
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-540-72952-5
ER  -