《軟體開發的形式化工程方法》是2008年清華大學出版社出版的圖書，作者是劉少英。
基本介紹
- 書名：軟體開發的形式化工程方法
- 作者：劉少英
- ISBN：9787302183174
- 頁數：403
- 定價：45.00元
- 出版社：清華大學出版社
- 出版時間：2008-8
內容簡介,作者簡介,
內容簡介
《國外經典教材·計算機科學與技術·軟體開發的形式化工程方法:結構化+面向對象+形式化》首次開創了一個新技術，即形式化工程方法，把傳統的形式化方法和軟體工程有機結合起來。它提供了一個嚴密、系統、有效的軟體開發方法，其實用性超過了目前所有形式化方法。這正好可以滿足學術界、軟體工程類學生對學習形式化工程方法和SOFL的迫切需求。.
《國外經典教材·計算機科學與技術·軟體開發的形式化工程方法:結構化+面向對象+形式化》通俗易懂，實例豐富，可滿足讀者即學即用的需要。書中對軟體開發中的形式化工程方法進行了介紹和討論，內容涵蓋SE 2004中關於“軟體的形式化方法”的知識點，主要包括：有限狀態機、Statechart、Petri網、通信順序進程、通信系統演算、一階邏輯、程式正確性證明、時態邏輯、模型檢驗、Z、VDM、Larch等。
在軟體開發領域，形式化方法涉及數學符號和微積分的使用，此類方法很難套用到面臨著具體局限的大型系統中，這些局限包括開發者技能有限、時間和財務預算限制以及不斷變化的需求。針對這些現狀，書中介紹了形式化方法，提倡在軟體工程過程中採用數學符號，從而從根本上增強行業中常用開發方法的準確性、全面性和有效性。
《國外經典教材·計算機科學與技術·軟體開發的形式化工程方法:結構化+面向對象+形式化》對SOFL (Structured Object-Oriented Formal Language)方法進行了介紹，此方法由作者設計並已經通過行業驗證。《國外經典教材·計算機科學與技術·軟體開發的形式化工程方法:結構化+面向對象+形式化》包含大量練習和重要的實際案例，有助於讀者迅速理解並成功將這種方法運用於項目之中。
作者簡介
劉少英，教授，著名計算機專家，日本法政大學教授，上海交通大學、上海大學客座教授。早年在西安交通大學獲得學士和碩士學位，後在英國曼徹斯特大學獲得博士學位。現為IEEE計算機學會複雜性技術委員會副主席，IEEE計算機學會、ACM、日本軟體科學與技術學會成員。多年來，在計算機科學的許多領域，包括形式化方法及理論、軟體開發方法學、軟體檢查、軟體測試、可靠複雜計算機系統以及智慧型軟體工程環境等方面做出了重要貢獻。目前在著名國際雜誌及會議發表學術論文80多篇，出版研究專著4部。
