Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
Edición: | 1st ed. 2005. |
Colección: | Programming and Software Engineering,
3535 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.