Russian
Russian
Formal Methods for Open Object-Based Distributed Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Asynchronous Session Types and Progress for Object Oriented Languages
-
Altmetric BadgeChapter 2 KeY: A Formal Method for Object-Oriented Systems
-
Altmetric BadgeChapter 3 Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
-
Altmetric BadgeChapter 4 Model Checking of Extended OCL Constraints on UML Models in SOCLe
-
Altmetric BadgeChapter 5 Analysis of UML Activities Using Dynamic Meta Modeling
-
Altmetric BadgeChapter 6 Distributed Applications Implemented in Maude with Parameterized Skeletons
-
Altmetric BadgeChapter 7 On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
-
Altmetric BadgeChapter 8 Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
-
Altmetric BadgeChapter 9 Adaptation of Open Component-Based Systems
-
Altmetric BadgeChapter 10 A Representation-Independent Behavioral Semantics for Object-Oriented Components
-
Altmetric BadgeChapter 11 A Formal Language for Electronic Contracts
-
Altmetric BadgeChapter 12 A Mechanized Model of the Theory of Objects
-
Altmetric BadgeChapter 13 Pict Correctness Revisited
-
Altmetric BadgeChapter 14 A Refinement Method for Java Programs
-
Altmetric BadgeChapter 15 Refactoring Object-Oriented Specifications with Data and Processes
-
Altmetric BadgeChapter 16 A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
-
Altmetric BadgeChapter 17 Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
-
Altmetric BadgeChapter 18 A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
-
Altmetric BadgeChapter 19 On Resource-Sensitive Timed Component Connectors