軟件工程卷3

前言

　　概述　　本卷是有關(guān)軟件工程的工程原則與技術(shù)的三卷教材中的第3卷。通過這三卷書我們宣稱我們展示了形式技術(shù)(也被稱之為形式方法)是如何可以在大規(guī)模開發(fā)項(xiàng)目中得以最大限度地使用。我們進(jìn)一步提出：我們現(xiàn)在可以有理由宣稱不再有任何借口不在開發(fā)的所有時(shí)期、階段與步驟中使用形式技術(shù)。通常給出這樣的借口是由于缺少在超大規(guī)模軟件開發(fā)中使用形式技術(shù)的全面指南。這里就是十分詳細(xì)地告訴你如何來做其中絕大多數(shù)事情的一套叢書!　　當(dāng)然，不是所有開發(fā)刻面現(xiàn)今都被詳細(xì)說明到我們本希望可使用形式技術(shù)的層次。但是抑制使用現(xiàn)有的形式技術(shù)——在我們或許不是那么謙遜的看法來看——完全是犯罪!正如這幾卷以及許多現(xiàn)有的優(yōu)秀的專著所揭示的那樣：不使用這些技術(shù)的傲慢可以簡(jiǎn)單地歸結(jié)為犯罪性的忽略?！　∫恍┧^的軟件工程實(shí)踐者“堅(jiān)持”缺乏管理指南。對(duì)于他們，我要說：一旦你已經(jīng)理解這幾卷的原則與技術(shù)，并且如果你另外具有一些管理經(jīng)驗(yàn)和判斷力，那么其余的自然就得到了。你和我可以“填寫”這些管理原則與技術(shù)?！　【?的附錄B包含一個(gè)詳盡的術(shù)語(yǔ)表，并且卷2的附錄A包含一個(gè)我們命名規(guī)范的概覽?！　【?的簡(jiǎn)要指南　　本卷有多種學(xué)習(xí)方法。任何從圖2中標(biāo)號(hào)為1的輸入節(jié)點(diǎn)(即章)到標(biāo)號(hào)為32的輸出節(jié)點(diǎn)的路徑都可以形成一個(gè)課程。讓我們簡(jiǎn)要地闡述圖2如下：　　軟件工程的基礎(chǔ)課程：最小的課程包括第1、2、5、8、11、16、17、19、24~26、30~32章，　　即圖2的所有左邊列章節(jié)。　　領(lǐng)域工程：集中討論領(lǐng)域工程的課程另外包括第9、10與第12~15章?！　⌒枨蠊こ蹋杭杏懻撔枨蠊こ痰恼n程除了基礎(chǔ)課程之外還包括第18與第20~23章?！　≤浖O(shè)計(jì)：集中討論軟件設(shè)計(jì)的課程除了基礎(chǔ)課程之外還包括第27~29章?！　∪我簧厦娓攀龅乃姆N課程可以以兩種方式的任一一種給出：　　非形式的：以這種方式學(xué)習(xí)本卷的讀者可以略過形式化部分而只關(guān)注非形式的材料。換言之，學(xué)習(xí)本卷基本上且實(shí)際上可以不先學(xué)習(xí)卷1或卷1與卷2?！　⌒问降模阂赃@種方式學(xué)習(xí)本卷的讀者需要學(xué)習(xí)所有非形式及形式的材料——因此學(xué)習(xí)本卷的　　一個(gè)先決條件是至少先學(xué)習(xí)了卷1。　　Dines Bjorner　　丹麥技術(shù)大學(xué)，2005-2006

內(nèi)容概要

《軟件工程卷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ā)的正確性和有效性。   《軟件工程卷3：領(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ì)。    這套叢書可以被視為軟件工程史上里程碑式的著作。作者通過長(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à)值。

書籍目錄

原著作者為中文版所作的序譯者序前言  概述  卷3的簡(jiǎn)要指南  致謝Ⅰ　開篇　1  三部曲范式    1.1  軟件工程的描繪    　1.1.1  “舊的”描繪　    1.1.2  我們的觀點(diǎn)：什么是軟件工程    1.2  軟件工程三部曲  　  1.2.1  領(lǐng)域與論域    　1.2.2  領(lǐng)域工程　    1.2.3  需求工程  　  1.2.4  軟件    　1.2.5  軟件設(shè)計(jì)　    1.2.6  討論    1.3  開發(fā)的時(shí)期、階段與步驟  　  1.3.1  軟件開發(fā)的時(shí)期    　1.3.2  開發(fā)的階段與步驟　    1.3.3  領(lǐng)域開發(fā)  　  1.3.4  需求開發(fā)    　1.3.5  計(jì)算系統(tǒng)設(shè)計(jì)　    1.3.6  討論：時(shí)期、階段與步驟　……Ⅱ　概念框架Ⅲ　描述：理論和實(shí)踐Ⅳ　領(lǐng)域工程Ⅴ　需求工程Ⅵ　計(jì)算系統(tǒng)設(shè)計(jì)Ⅶ　結(jié)束語(yǔ)Ⅷ　附錄參考文獻(xiàn)

章節(jié)摘錄

　　學(xué)習(xí)本章的前提：你愿意思考，且能夠、至少希望抽象地思考?！　∧繕?biāo)：介紹“發(fā)現(xiàn)”需要概念化的現(xiàn)象的基本原則和技術(shù)，特別是，介紹那些使用實(shí)體（信息、數(shù)據(jù)）、函數(shù)（和關(guān)系）、事件（異步和同步）以及行為來概念化的現(xiàn)象，介紹對(duì)這樣的現(xiàn)象及其深層概念的描述的基本原則和技術(shù)。　　效果：必要性地啟迪讀者，但是還不足以令讀者能夠成為高效專業(yè)的軟件工程師。討論方式：從系統(tǒng)的到嚴(yán)格的?！　?.1前言　　在本章中，我們將探討描述概念的刻面的初步集合：標(biāo)識(shí)的問題，也即，能夠標(biāo)識(shí)或描寫所關(guān)注的（i.1）現(xiàn)象和（i.2）概念；也即（i.1）物理上顯然的事物，和（i.2）思維構(gòu)造。　我們要嘗試應(yīng)對(duì)一些抽象概念。它們對(duì)能夠了解什么，能夠描述什么有所影響。由于這些抽象概念接近哲學(xué)，特別是如認(rèn)識(shí)論和本體論這樣的哲學(xué)學(xué)科。由此，我們不能像通常在數(shù)學(xué)或自然科學(xué)領(lǐng)域中那樣帶有確定性地探討這些概念，而是要必須準(zhǔn)備好一定程度的不確定性！　　5.2現(xiàn)象和概念　　在本章中，我們將經(jīng)過嚴(yán)謹(jǐn)?shù)囊徽n。我們不希望建立一個(gè)嶄新的現(xiàn)象理論。我們當(dāng)然不希望考慮如面向?qū)ο?、概念模式或任何其他的這樣的概念。我們僅希望達(dá)到數(shù)學(xué)所能支持我們的非常簡(jiǎn)單程度。通過其我們指：類型和值、函數(shù)、事件和行為。并無(wú)其他！　　但首先我們討論現(xiàn)象和概念的概念。　　我們認(rèn)為專業(yè)的軟件工程師清晰地理解這兩個(gè)概念（即元概念）以及他們不感到迷惑是非常重要的。　　5.2.1物理上顯然的現(xiàn)象　　在世界上，有物理上顯然的現(xiàn)象。我們能夠感知它們：觸、看、聽、感、聞、嘗?；蛘呶覀兡軌驕y(cè)量它們：在機(jī)械上，在電氣／電子上，在化學(xué)上，等等。由此我們能夠用一種方式或另一種方式指向它們且指定它們。

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    軟件工程卷3 PDF格式下載

---