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

出版时间：2005-12  出版社：1 (2005年12月14日)  作者：Kung-Kiu Lau  页数：496  

内容概要

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.

书籍目录

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