Introducing formal methods : a less mathematical approach
Author(s)
Bibliographic Information
Introducing formal methods : a less mathematical approach
(Ellis Horwood series in computers and their applications)
E. Horwood, 1993
- : pbk.
Available at / 7 libraries
-
No Libraries matched.
- Remove all filters.
Description and Table of Contents
Description
Software engineering techniques are becoming more and more important in the development of high quality software. The use of formal methods to specify and verify the software is now widespread. This book provides a new approach to learning formal methods. By considering the software engineer's tasks, the authors identify the crucial role of software specification and demonstrate that formal methods are an indispensable tool. Methods are introduced as they are required and the underlying theory is developed gradually. There are no mathematical prerequisites for this book and the mathematical material presented arises naturally from the discussion. A final chapter on prototyping finishes off this introduction to formal methods.
Table of Contents
- The software engineering background
- software specification and verification
- informal methods
- formal methods - what are they?
- some discrete mathematics
- a more detailed look at formal methods
- applications to program specification and verification
- software prototyping.
by "Nielsen BookData"