軟件工程卷2

前言

在妻子和我的家中，有許多紀(jì)念品。它們來自于我們對中國超過50次的訪問以及我在中國澳門擔(dān)任由聯(lián)合國和中國共同創(chuàng)建的聯(lián)合國大學(xué)國際軟件技術(shù)研究院的首任院長為期5年時問的紀(jì)念品：20多件從18世紀(jì)60年代到1910年的清代花瓶；三套成對的中國燈掛椅、馬掌椅、低背椅。這些和一張非常棒的一米寬、兩米長的黃花梨四柱臥床（原名如此?。┭b飾了我們的大客廳——伴上精雕細(xì)刻的中國屏風(fēng)和五彩斑斕的中國玻璃窗，它們時時刻刻都讓我們想起一個偉大的文化和卓越的工藝。14年前我們的女兒和一位年輕的中國人結(jié)婚了，他們和我們的兩個外孫女促使我們更加熱愛中國和中國人民。所以在2006年8月當(dāng)劉伯超博士和他的同事們詢問是否可以翻譯我的三卷著作的時候，我自然會欣然接受了。我的著作，它代表著25年的勞動：思考、教學(xué)和寫作。我非常高興中國的優(yōu)秀青年現(xiàn)在能夠?qū)W習(xí)我的著作了。要想真正成為計算科學(xué)和軟件工程的專家，你必須要喜歡閱讀和寫作?，F(xiàn)在你有機會來閱讀了。閱讀的同時，把你的所學(xué)應(yīng)用到書寫漂亮、抽象的規(guī)約中來。我祝你愉快。我真心希望我的讀者將享受計算科學(xué)、程序設(shè)計和軟件工程的實踐，就像我所享受到的并仍在享受它一樣。

內(nèi)容概要

《軟件工程卷1～3》是馮諾依曼獎?wù)芦@得者、世界著名的計算機科學(xué)家Dines BjOrner教授的最新著作。這套叢書為讀者理解軟件和軟件開發(fā)過程提供了一個“全新的視角”。這三卷書首次系統(tǒng)地論述了如何用形式方法來指導(dǎo)領(lǐng)域工程、需求工程和軟件設(shè)計，即軟件工程的三個相互關(guān)聯(lián)并重疊的組成部分，或稱之為軟件工程的“三部曲”。在軟件開發(fā)的各個階段，如果都能夠采用這種形式化的開發(fā)模式，將能夠在極大程度上保證軟件開發(fā)的正確性和有效性。    這套叢書可以被視為軟件工程史上里程碑式的著作。作者通過長達30年的程序設(shè)計方法論的研究與實踐，加上長達25年不斷完善的課程講義匯編成這一套前后連貫、內(nèi)容一致以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三卷書中，所有的原理、技術(shù)和工具都是通過大量的案例分析來進行闡述，并覆蓋了所有主要的軟件開發(fā)時期、階段和步驟；同時，這些原理、技術(shù)和工具是能夠應(yīng)用在大型工業(yè)和商業(yè)軟件的開發(fā)項目中去的。    這套叢書不但可以作為高校計算機專業(yè)學(xué)生、教師以及研究人員的教材和必備參考書，而日在工業(yè)和計算機產(chǎn)、世界也具有極大的實用價值。

作者簡介

作者：(德國)比約尼爾(Dines Bjorner) 譯者：劉伯超 向劍文 等

書籍目錄

原著作者為中文版所作的序譯者譯序言I　開篇　1　序言II　規(guī)約刻面　2　層次與復(fù)合　3　指稱和計算　4　格局：上下文和狀態(tài)III　關(guān)鍵領(lǐng)域和系統(tǒng)刻面　5　時間、空間和空間/時間IV　語言學(xué)　6　語用　7　語義　8　句法　9　符號體系V　其他規(guī)約技術(shù)　　10　模塊化　11　自動機和機器VI　并發(fā)和時態(tài)　12　佩特里網(wǎng)　13　消息和活序列圖　14　狀態(tài)圖　15　時間的定量模型　VII　解釋器和編譯器定義　16　SAL：簡單應(yīng)用式語言　17　SIL：簡單命令式語言　18　SMIL：簡單模塊命令式語言　19　SPIL：簡單并行命令式語言VIII　結(jié)束語　20　結(jié)束語IX　附錄

章節(jié)摘錄

插圖：

編輯推薦

《軟件工程卷2:系統(tǒng)與語言規(guī)約》：世界著名計算機教材精選。

圖書封面

評論、評分、閱讀與下載

---

    軟件工程卷2 PDF格式下載

---