Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
| Σειρά: | Lecture Notes in Computer Science,
3785 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
