株式会社極東書店トップ ＞ 商品一覧 ＞ Mathematical Approaches to Software Quality. 2006 ed.
商品詳細
Mathematical Approaches to Software Quality. 2006 ed.
・ISBN 978-1-84628-242-3 hard EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | O'Regan, Gerard, |
|---|---|
| 出版社 | (Springer London Ltd, UK) |
| 出版年月 | 2006 |
| ページ数 | 232 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-27138＞ |
解説
This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry.
The mathematical approaches considered include:
- Z specification language
- Vienna Development Methods (VDM)
- Irish school of VDM (VDM)
- approach of Dijkstra and Hoare
- classical engineering approach of Parnas
- Cleanroom approach developed at IBM
- software reliability, and
- unified modelling language (UML).
Additionally, technology transfer of the mathematical methods to industry is considered.
The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.