Mathematical Approaches to Software Quality
暫譯: 軟體品質的數學方法

Gerard O'Regan

Mathematical Approaches to Software Quality
  • 出版商: Springer
  • 出版日期: 2012-03-14
  • 售價: $4,510
  • 貴賓價: 9.5 折 $4,285
  • 語言: 英文
  • 頁數: 248
  • 裝訂: Paperback
  • ISBN: 1849965641
  • ISBN-13: 9781849965644

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

本書提供了各種數學方法以實現高品質軟體的全面介紹。書中介紹了對於健全軟體工程至關重要的數學基礎，並討論了在學術界和業界中使用的各種數學方法。

考慮的數學方法包括：
- Z 規範語言
- 維也納發展方法 (VDM)
- 愛爾蘭 VDM 學派 (VDM)
- Dijkstra 和 Hoare 的方法
- Parnas 的經典工程方法
- IBM 開發的 Cleanroom 方法
- 軟體可靠性
- 統一建模語言 (UML)

此外，還考慮了數學方法向業界的技術轉移。

本書解釋了這些方法的主要特點，並應用數學方法來解決實際問題。書中考慮了學生和專業人士的需求，幫助讀者應用數學方法解決與軟體工程師相關的實際問題。

類似商品