Formal Methods and Software Engineering形式方法与软件工程

书籍目录

Invited Talks  Realising the Benefits of Formal Methods  A Compositional Framework for Service Interaction Patterns and Interaction Flows  An Evidential Tool BusSpecification  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 OZTAModelling  An Abstract Model for Process Mediation  How Symbolic Animation Can Help Designing an Efficient Formal ModelSecurity  A Theory of Secure Control Flow  Game Semantics Model for Security ProtocolsCommunication  Towards Dynamically Communicating Abstract Machines in the B Method  Sweep-Line Analysis of TCP Connection Management  2/3 Alternating Simulation Between Interface AutomataDevelopment  Formal Model-Driven Development of Communicating Systems  JAHUEL: A Formal Framework for Software Synthesis  Modelling and Refinement of an On-Chip Communication ArchitectureTesting  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 SystemsVerification  Formal Verification of a Memory Model for C-Like Imperative Languages  ……ToolsAuthor Index

作者简介

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

 Formal Methods and Software Engineering形式方法与软件工程下载