|
" Formal Methods for Open Object-based Distributed Systems V Ifip Tc6 "
Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
722130
|
| Doc. No
|
:
|
b541840
|
| Main Entry
|
:
|
Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
|
| Title & Author
|
:
|
Formal Methods for Open Object-based Distributed Systems V Ifip Tc6\ Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
|
| Publication Statement
|
:
|
Springer-Verlag New York Inc, 2013
|
| ISBN
|
:
|
0387354964
|
|
|
:
|
: 9780387354965
|
| Contents
|
:
|
Preface. I. Invited presentations. Software Model Checking: The Bandera approach; M. Dwyer. Verifying Authentication Protocol Implementations; S. Schneider. A Semantic Framework for Specifying and Reasoning about Composable Distributed Middelware Services; C. Talcott. II. Multiple Viewpoint Modelling. Formal Semantics for Interacting UML Subsystems; J. Jurjens. A Compositional Formalism for Object Viewpoints; E.B. Johnsen, O. Owe. Interpreting ODP Viewpoint Specification: Observations from a Case Study; C. Taylor, et al. III. Types, Service Types and Subtyping. Checking Behavioural Subtypes via Refinement; H. Wehrheim. Behavioural Suptyping and Property Preservation for Active Objects; N. Hameurlain. A Formal Service Specification for IIOP Based on ISO/IEC 14752; A. Singh, J. Billington. IV. Semantics of Object-Based Programming Languages. Mobile Objects `Must' Move Safely; S. Briais, U. Nestmann. A Theory of May Testing for Actors; P. Thati, et al. Computer-Aided Specification and Verification of Annotated Object-Oriented Programs; F. de Boer, C. Pierik. V. Verification and Validation. Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm; K. Ogata, Kokichi Futatsugi. Control Flow Analysis of Mobile Ambients with Security Boundaries; C. Braghin, et al. VI. Specification and Analysis Techniques. A Feature Manager Approach to the Analysis of Component-Interactions; L. Blair, et al. Supporting Collaborative Design; Yanjie Wang, C. George. A Visual Modeling Framework for Distributed Object Computing; G. Taentzer. Author Index.
|
| LC Classification
|
:
|
TK7895.M5W445 2013
|
| Added Entry
|
:
|
Jacobs, Bart; Rensink, Arend
|
| |