Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Elektroninen E-kirja |
| Kieli: | English |
| Julkaistu: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Painos: | 1st ed. 2005. |
| Sarja: | Programming and Software Engineering ;
3785 |
| Aiheet: | |
| Linkit: | https://doi.org/10.1007/11576280 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Sisällysluettelo:
- 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.