Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Σειρά: | Lecture Notes in Computer Science,
3535 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
