軟體工程卷1

《軟體工程卷1：抽象與建模》介紹了抽象與建模的基本原理和技術。 本卷還介紹了有關套用式(函式式)、命令式和並髮式(並行式)規約程式設計的基本原則。 《軟體工程卷2：系統與語言規約》介紹了描述系統與語言的規約的基本原理和技術。

內容介紹

《軟體工程卷1-3》是馮諾依曼獎章獲得者、世界著名的計算機科學家Dines Bjoiner教授的最新著作。這套叢書為讀者理解軟體和軟體開發過程提供了一個“全新的視角”。這三卷書首次系統地論述了如何用形式方法來指導領域工程、需求工程和軟體設計，即軟體工程的三個相互關聯並重疊的組成部分，或稱之為軟體工程的“三部曲”。在軟體開發的各個階段，如果都能夠採用這種形式化的開發模式，將能夠在極大程度上保證軟體開發的正確性和有效性。. 　《軟體工程卷1：抽象與建模》介紹了抽象與建模的基本原理和技術。首先，本卷給出了離散數學的基本介紹，包括數、集合、笛卡爾、類型、函式、λ-演算、代數和數理邏輯，然後講授基本的面向屬性與面向模型的規約的基本原理和技術。一些其他的規約語言，比如B、VDM-SL和Z都具有面向模型的概念，本卷則通過RAISE規約語言RSL來講解這個概念。本卷還介紹了有關套用式(函式式)、命令式和並髮式(並行式)規約程式設計的基本原則。最後，本卷給出了一個全面的軟體工程術語表以及大量的索引和參考文獻。 　《軟體工程卷2：系統與語言規約》介紹了描述系統與語言的規約的基本原理和技術。首先，然後講授一些高級的原理和技術：分層與組合、指稱與計算以及構型：環境與狀態的抽象與建模，然後講授符號學建模的基本原理和技術：語用，語義以及系統和語言的句法。其中重要的一部分介紹了對空間和簡單時態現象進行建模的基本原理和技術……