注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁出版圖書科學(xué)技術(shù)計算機(jī)/網(wǎng)絡(luò)軟件工程及軟件方法學(xué)世界著名計算機(jī)教材精選:軟件工程卷2·系統(tǒng)與語言規(guī)約

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

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

定 價:¥79.00

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

ISBN: 9787302208914 出版時間: 2010-01-01 包裝: 平裝
開本: 16開 頁數(shù): 642 字?jǐn)?shù):  

內(nèi)容簡介

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

作者簡介

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

圖書目錄

原著作者為中文版所作的序
譯者譯
序言
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 自動機(jī)和機(jī)器
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 附錄

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號