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 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540729525 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-72952-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs).<br/>Computer networks .<br/>Computer programming.<br/>Software engineering.<br/>Operating systems (Computers).<br/>Computer science.<br/>Compilers and Interpreters.<br/>Computer Communication Networks.<br/>Programming Techniques.<br/>Software Engineering.<br/>Operating Systems.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA76.76.C65 
<br/><br/><label>Dewey Class. No.: </label>005.45