軟件工程捲1 2024 pdf epub mobi 電子書下載

☆☆☆☆☆
簡體網頁||繁體網頁

軟件工程捲1 pdf epub mobi 著者簡介

軟件工程捲1 pdf epub mobi 圖書描述

《軟件工程捲1-3》是馮諾依曼奬章獲得者、世界著名的計算機科學傢Dines Bjoiner教授的最新著作。這套叢書為讀者理解軟件和軟件開發過程提供瞭一個“全新的視角”。這三捲書首次係統地論述瞭如何用形式方法來指導領域工程、需求工程和軟件設計，即軟件工程的三個相互關聯並重疊的組成部分，或稱之為軟件工程的“三部麯”。在軟件開發的各個階段，如果都能夠采用這種形式化的開發模式，將能夠在極大程度上保證軟件開發的正確性和有效性。. 　　　《軟件工程捲1：抽象與建模》介紹瞭抽象與建模的基本原理和技術。首先，本捲給齣瞭離散數學的基本介紹，包括數、集閤、笛卡爾、類型、函數、λ-演算、代數和數理邏輯，然後講授基本的麵嚮屬性與麵嚮模型的規約的基本原理和技術。一些其他的規約語言，比如B、VDM-SL和Z都具有麵嚮模型的概念，本捲則通過RAISE規約語言RSL來講解這個概念。本捲還介紹瞭有關應用式(函數式)、命令式和並發式(並行式)規約程序設計的基本原則。最後，本捲給齣瞭一個全麵的軟件工程術語錶以及大量的索引和參考文獻。　　　《軟件工程捲2：係統與語言規約》介紹瞭描述係統與語言的規約的基本原理和技術。首先，然後講授一些高級的原理和技術：分層與組閤、指稱與計算以及構型：環境與狀態的抽象與建模，然後講授符號學建模的基本原理和技術：語用，語義以及係統和語言的句法。其中重要的一部分介紹瞭對空間和簡單時態現象進行建模的基本原理和技術……

軟件工程捲1 2024 pdf epub mobi 電子書下載