ISBN: 9783540729198 - formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference, fmoods 2007, paphos, cyprus, june 6-8, 2007, ... notes in computer science, 4468, band 4468) (3 Ergebnisse)

Paperback. Zustand: Brand New. 1st edition. 300 pages. 9.10x6.50x0.80 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Zustand: Neu. Formal Methods for Open Object-Based Distributed Systems | 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings | Marcello M. Bonsangue (u. a.) | Taschenbuch | x | Englisch | 2007 | Springer | EAN 9783540729198 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…