內容簡介
《軟件工程卷1～3》是馮諾依曼獎章獲得者、世界著名的計算機科學家Dines Bjorner教授的*著作。這套叢書為讀者理解軟件和軟件開發過程提供了一個“全新的視角”。這三卷書首次繫統地論述了如何用形式方法來指導領域工程、需求工程和軟件設計，即軟件工程的三個相互關聯並重疊的組成部分，或稱之為軟件工程的“三部曲”。在軟件開發的各個階段，如果都能夠采用這種形式化的開發模式，將能夠在極大程度上保證軟件開發的正確性和有效性。
這套叢書可以被視為軟件工程史上裡程碑式的著作。作者通過長達30年的程序設計方法論的研究與實踐，加上長達25年不斷完善的課程講義彙編成這一套前後連貫、內容一致以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三卷書中，所有的原理、技術和工具都是通過大量的案例分析來進行闡述，並覆蓋了所有主要的軟件開發時期、階段和步驟；同時，這些原理、技術和工具是能夠應用在大型工業和商業軟件的開發項目中去的。
這套叢書不但可以作為高校計算機專業學生、教師以及研究人員的教材和參考書，而且在工業和計算機產業界也具有極大的實用價值。《軟件工程卷1～3》是馮諾依曼獎章獲得者、世界著名的計算機科學家Dines Bjorner教授的*著作。這套叢書為讀者理解軟件和軟件開發過程提供了一個“全新的視角”。這三卷書首次繫統地論述了如何用形式方法來指導領域工程、需求工程和軟件設計，即軟件工程的三個相互關聯並重疊的組成部分，或稱之為軟件工程的“三部曲”。在軟件開發的各個階段，如果都能夠采用這種形式化的開發模式，將能夠在極大程度上保證軟件開發的正確性和有效性。
這套叢書可以被視為軟件工程史上裡程碑式的著作。作者通過長達30年的程序設計方法論的研究與實踐，加上長達25年不斷完善的課程講義彙編成這一套前後連貫、內容一致以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三卷書中，所有的原理、技術和工具都是通過大量的案例分析來進行闡述，並覆蓋了所有主要的軟件開發時期、階段和步驟；同時，這些原理、技術和工具是能夠應用在大型工業和商業軟件的開發項目中去的。
這套叢書不但可以作為高校計算機專業學生、教師以及研究人員的教材和參考書，而且在工業和計算機產業界也具有極大的實用價值。
《軟件工程卷1：抽像與建模》介紹了抽像與建模的基本原理和技術。首先，本卷給出了離散數學的基本介紹，包括數、集合、笛卡爾、類型、函數、入-演算、代數和數理邏輯，然後講授基本的面向屬性與面向模型的規約的基本原理和技術。一些其他的規約語言，比如B、VDM-SL和Z都具有面向模型的概念，本卷則通過RAISE規約語言RSL來講解這個概念。本卷還介紹了有關應用式（函數式）、命令式和並發式（並行式）規約程序設計的基本原則。後，本卷給出了一個全面的軟件工程術語表以及大量的索引和參考文獻。
《軟件工程卷2：繫統與語言規約》介紹了描述繫統與語言的規約的基本原理和技術。首先，本卷講授一些高級的原理和技術：分層與組合、指稱與計算以及構型：環境與狀態的抽像與建模，然後講授符號學建模的基本原理和技術：語用、語義以及繫統和語言的句法。其中重要的一部分介紹了對空間和簡單時態現像進行建模的基本原理和技術。本卷的主要章節用於介紹一些專門的主題，比如模塊（包括UML的類圖）、Petri網、活動序列圖、狀態圖和時態邏輯（包括時段演算）。後，本卷介紹了開發函數式，命令式以及並行程序設計語言的可靠和有效的解釋器和編譯器的基本原理和技術。本卷適合於作為高年級本科生和研究生，以及研究程序設計方法學的學者的教材或參考書。
《軟件工程卷3：領域、需求與軟件設計》介紹了整體軟件開發的基本原理和技巧：從領域描述，經過需求分析，直到軟件設計。本卷倡導一種全新的軟件工程開發模式：在需求被形式化之前，人們必須理解應用領域，因此本卷首先介紹領域描述的原理和技術，然後介紹從領域模型導出需求規則的原理和技術，後介紹細化需求到軟件設計的原理和技術：體繫結構和組件設計。
這套叢書可以被視為軟件工程史上裡程碑式的著作。作者通過長達30年的程序設計方法論的研究與實踐，加上長達25年不斷完善的課程講義彙編成這一套前後連貫、內容一致以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三卷書中，所有的原理、技術和工具都是通過大量的案例分析來進行闡述，並覆蓋了所有主要的軟件開發時期、階段和步驟；同時，這些原理、技術和工具是能夠應用在大型工業和商業軟件的開發項目中去的。
這套叢書不但可以作為高校計算機專業學生、教師以及研究人員的教材和參考書，而且在工業和計算機產業界也具有極大的實用價值。《軟件工程卷1～3》是馮諾依曼獎章獲得者、世界著名的計算機科學家Dines Bjorner教授的*著作。這套叢書為讀者理解軟件和軟件開發過程提供了一個“全新的視角”。這三卷書首次繫統地論述了如何用形式方法來指導領域工程、需求工程和軟件設計，即軟件工程的三個相互關聯並重疊的組成部分，或稱之為軟件工程的“三部曲”。在軟件開發的各個階段，如果都能夠采用這種形式化的開發模式，將能夠在極大程度上保證軟件開發的正確性和有效性。
這套叢書可以被視為軟件工程史上裡程碑式的著作。作者通過長達30年的程序設計方法論的研究與實踐，加上長達25年不斷完善的課程講義彙編成這一套前後連貫、內容一致以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三卷書中，所有的原理、技術和工具都是通過大量的案例分析來進行闡述，並覆蓋了所有主要的軟件開發時期、階段和步驟；同時，這些原理、技術和工具是能夠應用在大型工業和商業軟件的開發項目中去的。
這套叢書不但可以作為高校計算機專業學生、教師以及研究人員的教材和參考書，而且在工業和計算機產業界也具有極大的實用價值。
《軟件工程卷1：抽像與建模》介紹了抽像與建模的基本原理和技術。首先，本卷給出了離散數學的基本介紹，包括數、集合、笛卡爾、類型、函數、入-演算、代數和數理邏輯，然後講授基本的面向屬性與面向模型的規約的基本原理和技術。一些其他的規約語言，比如B、VDM-SL和Z都具有面向模型的概念，本卷則通過RAISE規約語言RSL來講解這個概念。本卷還介紹了有關應用式（函數式）、命令式和並發式（並行式）規約程序設計的基本原則。後，本卷給出了一個全面的軟件工程術語表以及大量的索引和參考文獻。
《軟件工程卷2：繫統與語言規約》介紹了描述繫統與語言的規約的基本原理和技術。首先，本卷講授一些高級的原理和技術：分層與組合、指稱與計算以及構型：環境與狀態的抽像與建模，然後講授符號學建模的基本原理和技術：語用、語義以及繫統和語言的句法。其中重要的一部分介紹了對空間和簡單時態現像進行建模的基本原理和技術。本卷的主要章節用於介紹一些專門的主題，比如模塊（包括UML的類圖）、Petri網、活動序列圖、狀態圖和時態邏輯（包括時段演算）。後，本卷介紹了開發函數式，命令式以及並行程序設計語言的可靠和有效的解釋器和編譯器的基本原理和技術。本卷適合於作為高年級本科生和研究生，以及研究程序設計方法學的學者的教材或參考書。
《軟件工程卷3：領域、需求與軟件設計》介紹了整體軟件開發的基本原理和技巧：從領域描述，經過需求分析，直到軟件設計。本卷倡導一種全新的軟件工程開發模式：在需求被形式化之前，人們必須理解應用領域，因此本卷首先介紹領域描述的原理和技術，然後介紹從領域模型導出需求規則的原理和技術，後介紹細化需求到軟件設計的原理和技術：體繫結構和組件設計。
