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

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