軟件工程卷1：抽象與建模

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

暫缺《軟件工程卷1：抽象與建?！纷髡吆?jiǎn)介