《軟件工程捲1~3》是馮諾依曼奬章獲得者、世界著名的計算機科學傢Dines Bjorner教授的最新著作。這套叢書為讀者理解軟件和軟件開發過程提供瞭一個“全新的視角”。這三捲書首次係統地論述瞭如何用形式方法來指導領域工程、需求工程和軟件設計,即軟件工程的三個相互關聯並重疊的組成部分,或稱之為軟件工程的“三部麯”。在軟件開發的各個階段,如果都能夠采用這種形式化的開發模式,將能夠在極人程度上保證軟件開發的正確性和有效性。這套叢書可以被視為軟件工程史上裏程碑式的著作。作者通過長達30年的程序設計方法淪的研究與實踐,加上長達25年不斷完善的課程講義匯編成這一套前後連貫、內容一緻以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三捲書中,所有的原理、技術和工具都是通過大量的案例分析末進行闡述,並覆蓋瞭所有主要的軟件開發時期、階段和步驟;同時,這些原理、技術和工具是能夠應用在大型工和商業軟件的開發項目中去的。
這套從書不但可以作為高校計算機專業學生、教師以及研究人員的教材和必備參考書,而且在工業和計算機産業界也具有極大的實用價值。
《軟件工程捲3:領域、需求與軟件設計》介紹瞭整體軟件開發的基本原理和技巧:從領域描述,經過需求分析,直到軟件設計。本捲倡導一種全新的軟件工程開發模式:在需求被形式化之前,人們必須理解應用領域,因此本捲首先介紹領域描述的原現和技術,然後介紹從領域模型導齣需求規則的原理和技術,最後介紹細化需求到軟件設計的原理和技術:體係結構和組件設計。
發表於2024-11-23
軟件工程捲3 2024 pdf epub mobi 電子書 下載
圖書標籤: 軟件工程 ComputerScience
充滿形式化方法味道的軟件工程書籍,看不懂也不丟人。。。
評分太TMD數學瞭。對實際生産指導意義不大,畢竟不能指望業務人員是數學傢。
評分太TMD數學瞭。對實際生産指導意義不大,畢竟不能指望業務人員是數學傢。
評分充滿形式化方法味道的軟件工程書籍,看不懂也不丟人。。。
評分充滿形式化方法味道的軟件工程書籍,看不懂也不丟人。。。
軟件工程捲3 2024 pdf epub mobi 電子書 下載