Shaoying Liu

Michael Gerard Hinchey

John McDermid

Annotation Invited speakers explore the use of mathematics in software engineering, legacy code, and challenges and results of offering formal verification capabilities for industry standard case tools. The other 19 papers cover development, structuring, algebraic approaches, verification, formal and informal notations, retrenchment, the theory and practice of Z, and animation. There is no subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000

ICFEM 2000

Jonathan Peter Bowen

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

Michael Gerard Hinchey

Books

Your next favorite book is out there