簡體書內容簡介

《軟件工程卷1∼3》是馮諾依曼獎章獲得者、世界著名的計算機科學家Dines Bjorner教授的最新著作。這套叢書為讀者理解軟件和軟件開發過程提供了一個「全新的視角」。這三卷書首次系統地論述了如何用形式方法來指導領域工程、需求工程和軟件設計，即軟件工程的三個相互關聯並重疊的組成部分，或稱之為軟件工程的「三部曲」。在軟件開發的各個階段，如果都能夠採用這種形式化的開發模式，將能夠在極大程度上保證軟件開發的正確性和有效性。
《軟件工程卷3：領域、需求與軟件設計》介紹了整體軟件開發的基本原理和技巧：從領域描述，經過需求分析，直到軟件設計。本卷倡導一種全新的軟件工程開發模式：在需求被形式化之前，人們必須理解應用領域，因此本卷首先介紹領域描述的原理和技術，然後介紹從領域模型導出需求規則的原理和技術，最後介紹細化需求到軟件設計的原理和技術：體系結構和組件設計。
這套叢書可以被視為軟件工程史上里程碑式的著作。作者通過長達30年的程序設計方法論的研究與實踐，加上長達25年不斷完善的課程講義彙編成這一套前後連貫、內容一致以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三卷書中，所有的原理、技術和工具都是通過大量的案例分析來進行闡述，並覆蓋了所有主要的軟件開發時期、階段和步驟；同時，這些原理、技術和工具是能夠被應用於大型工業和商業軟件的開發項目中去的。
這套叢書不但可以作為高校計算機專業學生、教師以及研究人員的教材和必備參考書，而且在工業和計算機產業界也具有極大的實用價值。

簡體書目錄

原著作者為中文版所作的序
譯者序
前言
概述
卷3的簡要指南
致謝
Ⅰ　開篇
　1 三部曲範式
1.1 軟件工程的描繪
　1.1.1 「舊的」描繪
　 1.1.2 我們的觀點：什麼是軟件工程
1.2 軟件工程三部曲
　 1.2.1 領域與論域
　1.2.2 領域工程
　 1.2.3 需求工程
　 1.2.4 軟件
　1.2.5 軟件設計
　 1.2.6 討論
1.3 開發的時期、階段與步驟
　 1.3.1 軟件開發的時期
　1.3.2 開發的階段與步驟
　 1.3.3 領域開發
　 1.3.4 需求開發
　1.3.5 計算系統設計
　 1.3.6 討論：時期、階段與步驟
　……
Ⅱ　概念框架
Ⅲ　描述：理論和實踐
Ⅳ　領域工程
Ⅴ　需求工程
Ⅵ　計算系統設計
Ⅶ　結束語
Ⅷ　附錄
參考文獻