Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2005, 2005
|
| Edition: | 1st ed. 2005 |
| Series: | Programming and Software Engineering
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Invited Talks
- Realising the Benefits of Formal Methods
- A Compositional Framework for Service Interaction Patterns and Interaction Flows
- An Evidential Tool Bus
- Specification
- Derivation of UML Class Diagrams as Static Views of Formal B Developments
- 29 New Unclarities in the Semantics of UML 2.0 State Machines
- The Semantics and Tool Support of OZTA
- Modelling
- An Abstract Model for Process Mediation
- How Symbolic Animation Can Help Designing an Efficient Formal Model
- Security
- A Theory of Secure Control Flow
- Game Semantics Model for Security Protocols
- Communication
- Towards Dynamically Communicating Abstract Machines in the B Method
- Sweep-Line Analysis of TCP Connection Management
- 2/3 Alternating Simulation Between Interface Automata
- Development
- Formal Model-Driven Development of Communicating Systems
- Jahuel: A Formal Framework for Software Synthesis
- Modelling and Refinement of an On-Chip Communication Architecture
- Testing
- Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
- Adaptive Random Testing by Bisection with Restriction
- Testing Real-Time Multi Input-Output Systems
- Verification
- Formal Verification of a Memory Model for C-Like Imperative Languages
- Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
- An Improved Rule for While Loops in Deductive Program Verification
- Using Stålmarck’s Algorithm to Prove Inequalities
- Automatic Refinement Checking for B
- Slicing an Integrated Formal Method for Verification
- A Static Communication Elimination Algorithm for Distributed System Verification
- Incremental Verification of Owicki/Gries Proof Outlines Using PVS
- Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.-Tools
- An Automated Approach to Specification-Based Program Inspection
- Visualizing and Simulating Semantic Web Services Ontologies
- A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
- ClawZ: Cost-Effective Formal Verification for Control Systems
- SVG Web Environment for Z Specification Language