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