形式化方法是指有嚴格數學基礎的軟件和系統開發方法,支持計算機系統及軟件的規約、設計、驗證與演化等活動.隨著高可信軟件的興起,形式化方法作為重要的途徑,關注度日益提高.其作用不僅深化了人們對計算系統規律的認識,而且支持了計算系統開發、運行和演化之工具、平臺、環境的構建。鑒於形式化方法對軟件工程的重要性, 2004 年 ACM 和 IEEE-CS 聯合制訂的軟件工程教程《SE2004》將“形式化方法”列為 軟件工程專業的核心課程。本書主要由系統建模、形式規約和形式驗證三部分構成,具體包括:順序、併發和反應系統、轉換系統、自動機、時序邏輯、定理證明、模型檢測、實時系統、混成系統等。
定價:414 元,
優惠價:87
360
海外經銷商無庫存,到貨日平均30天至45天