Formal 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 Johnsen

• Pubblicazione: Berlin, Heidelberg : , : Springer-Verlag, , [2007]; ©2007
• Edizione: 1st ed. 2007.
• Descrizione fisica: 1 online resource (326 p.)
• Disciplina: 004
• Soggetto topico: Computer science; Software engineering
• Persona (resp. second.): BonsangueMarcello M.; JohnsenEinar Broch
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Formal Methods for Open Object-Based Distributed Systems
• ISBN: 1-280-94388-2; 9786610943883; 3-540-72952-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465919503316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture notes in computer science ; ; 4468.