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

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

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