TY  - BOOK
AU  - 
AU  - 
ED  - SpringerLink (Online service)
TI  - Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540315568
AV  - TK5105.5-5105.9 
U1  - 004.6 23
PY  - 2005///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Operating systems (Computers)
KW  - Logic design
KW  - Computer Science
KW  - Programming Techniques
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Operating Systems
KW  - Logics and Meanings of Programs
N1  - Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Semantics for UML-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming Information in RDF to Rewriting Logic -- Modeling- and Analysis Techniques for Web Services and Business Processes -- A Distributed Implementation of Mobile Nets as Mobile Agents -- Specification and Verification -- On Correctness of Dynamic Protocol Update -- Property-Driven Development of a Coordination Model for Distributed Simulations -- A Timing Analysis of AODV; ZDB-2-SCS; ZDB-2-LNC
UR  - http://dx.doi.org/10.1007/b136996
ER  -