Introducing formal methods : a less mathematical approach
著者
書誌事項
Introducing formal methods : a less mathematical approach
（Ellis Horwood series in computers and their applications）
E. Horwood, 1993
- : pbk.
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より