圖書標籤: 軟件工程 形式化方法 軟件開發 計算機 程序設計 Methods Formal_Methods Formal
发表于2024-11-08
軟件開發的形式化工程方法 pdf epub mobi txt 電子書 下載 2024
《國外經典教材•計算機科學與技術•軟件開發的形式化工程方法:結構化+麵嚮對象+形式化》首次開創瞭一個新技術,即形式化工程方法,把傳統的形式化方法和軟件工程有機結閤起來。它提供瞭一個嚴密、係統、有效的軟件開發方法,其實用性超過瞭目前所有形式化方法。這正好可以滿足學術界、軟件工程類學生對學習形式化工程方法和SOFL的迫切需求。.
《國外經典教材•計算機科學與技術•軟件開發的形式化工程方法:結構化+麵嚮對象+形式化》通俗易懂,實例豐富,可滿足讀者即學即用的需要。書中對軟件開發中的形式化工程方法進行瞭介紹和討論,內容涵蓋SE 2004中關於“軟件的形式化方法”的知識點,主要包括:有限狀態機、Statechart、Petri網、通信順序進程、通信係統演算、一階邏輯、程序正確性證明、時態邏輯、模型檢驗、Z、VDM、Larch等。
在軟件開發領域,形式化方法涉及數學符號和微積分的使用,此類方法很難應用到麵臨著具體局限的大型係統中,這些局限包括開發者技能有限、時間和財務預算限製以及不斷變化的需求。針對這些現狀,書中介紹瞭形式化方法,提倡在軟件工程過程中采用數學符號,從而從根本上增強行業中常用開發方法的準確性、全麵性和有效性。
《國外經典教材•計算機科學與技術•軟件開發的形式化工程方法:結構化+麵嚮對象+形式化》對SOFL (Structured Object-Oriented Formal Language)方法進行瞭介紹,此方法由作者設計並已經通過行業驗證。《國外經典教材•計算機科學與技術•軟件開發的形式化工程方法:結構化+麵嚮對象+形式化》包含大量練習和重要的實際案例,有助於讀者迅速理解並成功將這種方法運用於項目之中。
評分
評分
評分
評分
軟件開發的形式化工程方法 pdf epub mobi txt 電子書 下載 2024