《軟件開發的形式化方法》對軟件開發中的形式化方法進行瞭介紹和討論，內容涵蓋瞭SE2004中關於"軟件的形式化方法"的知識點，主要包括：有限狀態機、Statecharts、Petri網、通信順序進程、通信係統演算、一階邏輯、程序正確性證明、時態邏輯、模型檢驗、Z、VDM、Larch等。形式化方法是建立在嚴格數學基礎上、具有精確數學語義的開發方法。從廣義角度，形式化方法是軟件開發過程中分析、設計及實現的係統工程方法。狹義地，形式化方法是軟件規格和驗證的方法。
《軟件開發的形式化方法》可作為計算機、軟件工程等專業高年級本科聲或研究生的教學用書，也可供相關領域的研究人員和工程技術人員參考。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
我還是喜歡看代碼。。
评分誰來把我砸清白
评分我還是喜歡看代碼。。
评分我還是喜歡看代碼。。
评分上課時，參考書之一，確實有些是自己寫的，比某些翻譯的版本要容易懂，而且這個方麵的書較少，值得一讀。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有