Formal Methods and Software Engineering

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Editors:

ISBN: 978-3-540-29797-0 (Print) 978-3-540-32250-4 (Online)

Table of contents (33 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-4

      Realising the Benefits of Formal Methods

    2. No Access

      Book Chapter

      Pages 5-35

      A Compositional Framework for Service Interaction Patterns and Interaction Flows

    3. No Access

      Book Chapter

      Pages 36-36

      An Evidential Tool Bus

  3. Specification

    1. No Access

      Book Chapter

      Pages 37-51

      Derivation of UML Class Diagrams as Static Views of Formal B Developments

    2. No Access

      Book Chapter

      Pages 52-65

      29 New Unclarities in the Semantics of UML 2.0 State Machines

    3. No Access

      Book Chapter

      Pages 66-80

      The Semantics and Tool Support of OZTA

  4. Modelling

    1. No Access

      Book Chapter

      Pages 81-95

      An Abstract Model for Process Mediation

    2. No Access

      Book Chapter

      Pages 96-110

      How Symbolic Animation Can Help Designing an Efficient Formal Model

  5. Security

    1. No Access

      Book Chapter

      Pages 111-124

      A Theory of Secure Control Flow

    2. No Access

      Book Chapter

      Pages 125-140

      Game Semantics Model for Security Protocols

  6. Communication

    1. No Access

      Book Chapter

      Pages 141-155

      Towards Dynamically Communicating Abstract Machines in the B Method

    2. No Access

      Book Chapter

      Pages 156-172

      Sweep-Line Analysis of TCP Connection Management

    3. No Access

      Book Chapter

      Pages 173-187

      2/3 Alternating Simulation Between Interface Automata

  7. Development

    1. No Access

      Book Chapter

      Pages 188-203

      Formal Model-Driven Development of Communicating Systems

    2. No Access

      Book Chapter

      Pages 204-218

      Jahuel : A Formal Framework for Software Synthesis

    3. No Access

      Book Chapter

      Pages 219-234

      Modelling and Refinement of an On-Chip Communication Architecture

  8. Testing

    1. No Access

      Book Chapter

      Pages 235-250

      Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics

    2. No Access

      Book Chapter

      Pages 251-263

      Adaptive Random Testing by Bisection with Restriction

    3. No Access

      Book Chapter

      Pages 264-279

      Testing Real-Time Multi Input-Output Systems

  9. Verification

    1. No Access

      Book Chapter

      Pages 280-299

      Formal Verification of a Memory Model for C -Like Imperative Languages

previous Page of 2