|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484735603321 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-94388-2 |
9786610943883 |
3-540-72952-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (326 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 4468 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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 |
|
|
|
|