世界著名計(jì)算機(jī)教材精選：軟件工程卷2·系統(tǒng)與語(yǔ)言規(guī)約

定　價(jià)：￥79.00

作　者：	（德）比約尼爾著，劉伯超等譯
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	世界著名計(jì)算機(jī)教材精選
標(biāo)　簽：	軟件工程/開(kāi)發(fā)項(xiàng)目管理

購(gòu)買這本書可以去

ISBN：	9787302208914	出版時(shí)間：	2010-01-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	642	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《世界著名計(jì)算機(jī)教材精選：軟件工程卷2·系統(tǒng)與語(yǔ)言規(guī)約》作者簡(jiǎn)介

圖書目錄

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