軟件開發的形式化工程方法 pdf epub mobi txt 電子書 下載 2024


軟件開發的形式化工程方法

簡體網頁||繁體網頁
劉少英
2008-8
403
45.00元
9787302183174

圖書標籤: 軟件工程  形式化方法  軟件開發  計算機  程序設計  Methods  Formal_Methods  Formal   


喜歡 軟件開發的形式化工程方法 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2024-11-08

軟件開發的形式化工程方法 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

軟件開發的形式化工程方法 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

軟件開發的形式化工程方法 pdf epub mobi txt 電子書 下載 2024



圖書描述

《國外經典教材•計算機科學與技術•軟件開發的形式化工程方法:結構化+麵嚮對象+形式化》首次開創瞭一個新技術,即形式化工程方法,把傳統的形式化方法和軟件工程有機結閤起來。它提供瞭一個嚴密、係統、有效的軟件開發方法,其實用性超過瞭目前所有形式化方法。這正好可以滿足學術界、軟件工程類學生對學習形式化工程方法和SOFL的迫切需求。.

《國外經典教材•計算機科學與技術•軟件開發的形式化工程方法:結構化+麵嚮對象+形式化》通俗易懂,實例豐富,可滿足讀者即學即用的需要。書中對軟件開發中的形式化工程方法進行瞭介紹和討論,內容涵蓋SE 2004中關於“軟件的形式化方法”的知識點,主要包括:有限狀態機、Statechart、Petri網、通信順序進程、通信係統演算、一階邏輯、程序正確性證明、時態邏輯、模型檢驗、Z、VDM、Larch等。

在軟件開發領域,形式化方法涉及數學符號和微積分的使用,此類方法很難應用到麵臨著具體局限的大型係統中,這些局限包括開發者技能有限、時間和財務預算限製以及不斷變化的需求。針對這些現狀,書中介紹瞭形式化方法,提倡在軟件工程過程中采用數學符號,從而從根本上增強行業中常用開發方法的準確性、全麵性和有效性。

《國外經典教材•計算機科學與技術•軟件開發的形式化工程方法:結構化+麵嚮對象+形式化》對SOFL (Structured Object-Oriented Formal Language)方法進行瞭介紹,此方法由作者設計並已經通過行業驗證。《國外經典教材•計算機科學與技術•軟件開發的形式化工程方法:結構化+麵嚮對象+形式化》包含大量練習和重要的實際案例,有助於讀者迅速理解並成功將這種方法運用於項目之中。

軟件開發的形式化工程方法 下載 mobi epub pdf txt 電子書

著者簡介


圖書目錄


軟件開發的形式化工程方法 pdf epub mobi txt 電子書 下載
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

評分

評分

評分

評分

讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

軟件開發的形式化工程方法 pdf epub mobi txt 電子書 下載 2024


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有