軟件工程卷3

內容概要

　　《軟件工程卷1-3》是馮諾依曼獎章獲得者、世界著名的計算機科學家DinesBjoiner教授的最新著作。這套叢書為讀者理解軟件和軟件開發(fā)過程提供了一個“全新的視角”。這三卷書首次系統(tǒng)地論述了如何用形式方法來指導領域工程、需求工程和軟件設計，即軟件工程的三個相互關聯(lián)并重疊的組成部分，或稱之為軟件工程的“三部曲”。在軟件開發(fā)的各個階段，如果都能夠采用這種形式化的開發(fā)模式，將能夠在極大程度上保證軟件開發(fā)的正確性和有效性?！　　盾浖こ叹?：抽象與建模》介紹了抽象與建模的基本原理和技術。首先，本卷給出了離散數(shù)學的基本介紹，包括數(shù)、集合、笛卡爾、類型、函數(shù)、λ-演算、代數(shù)和數(shù)理邏輯，然后講授基本的面向屬性與面向模型的規(guī)約的基本原理和技術。一些其他的規(guī)約語言，比如B、VDM-SL和Z都具有面向模型的概念，本卷則通過RAISE規(guī)約語言RSL來講解這個概念。本卷還介紹了有關應用式（函數(shù)式）、命令式和并發(fā)式（并行式）規(guī)約程序設計的基本原則。最后，本卷給出了一個全面的軟件工程術語表以及大量的索引和參考文獻。　　《軟件工程卷2：系統(tǒng)與語言規(guī)約》介紹了描述系統(tǒng)與語言的規(guī)約的基本原理和技術。首先，然后講授一些高級的原理和技術：分層與組合、指稱與計算以及構型：環(huán)境與狀態(tài)的抽象與建模，然后講授符號學建模的基本原理和技術：語用，語義以及系統(tǒng)和語言的句法。其中重要的一部分介紹了對空間和簡單時態(tài)現(xiàn)象進行建模的基本原理和技術。本卷的主要章節(jié)用于介紹一些專門的主題，比如模塊（包括UML的類圖）、Petri網(wǎng)、活動序列圖、狀態(tài)圖和時態(tài)邏輯（包括時段演算）。最后，本卷介紹了開發(fā)函數(shù)式，命令式以及并行程序設計語言的可靠和有效的解釋器和編譯器的基本原理和技術。本卷適合于作為高年級本科生和研究生，以及研究程序設計方法學的學者的教材或參考書?！　　盾浖こ叹?：領域、需求與軟件設計》介紹了整體軟件開發(fā)的基本原理和技巧：從領域描述，經(jīng)過需求分析，直到軟件設計。本卷倡導一種全新的軟件工程開發(fā)模式：在需求被形式化之前，人們必須理解應用領域，因此本卷首先介紹領域描述的原理和技術，然后介紹從領域模型導出需求規(guī)則的原理和技術，最后介紹細化需求到軟件設計的原理和技術：體系結構和組件設計?！　∵@套叢書可以被視為軟件工程史上里程碑式的著作。作者通過長達30年的程序設計方法論的研究與實踐，加上長達25年不斷完善的課程講義匯編成這一套前后連貫、內容一致以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三卷書中，所有的原理、技術和工具都是通過大量的案例分析來進行闡述，并覆蓋了所有主要的軟件開發(fā)時期、階段和步驟，同時，這些原理、技術和工具是能夠被應用于大型工業(yè)和商業(yè)軟件的開發(fā)項目中去的?！　∵@套叢書不但可以作為高校計算機專業(yè)學生、教師以及研究人員的教材和必備參考書，而且在工業(yè)和計算機產(chǎn)業(yè)界也具有極大的實用價值。

作者簡介

作者：(丹麥)比約納

書籍目錄

Preface　GeneralBrief Guide to Volume 3AcknowledgementsPart I OPENING　1 The Triptych Paradigm 1.1 Delineations of Software Engineering　1.1.1 "Old" Delineations　1.1.2 Our View： What Is Software Engineering? 1.2 The Triptych of Software Engineering　1.2.1 On Universes of Discourse and Domains　1.2.2 Domain Engineering　1.2.3 Requirements Engineering　1.2.4 Software　1.2.5 Software Design　1.2.6 Discussion1.3 Phases， Stages and Steps of Development　1.3.1 Phases of Software Development　1.3.2 Stages and Steps of Development　 1.3.3 Domain Development　1.3.4 Requirements Development　1.3.5 Computing Systems Design　1.3.6 Discussion： Phases， Stages and Steps1.4 The Triptych Process Model -- A First View　1.4.1 The Concept of a Process Model　1.4.2 The Triptych Process Model1.5 Conclusion to Chapter 1　1.5.1 Summary1.5.2 What Will Be Covered Later?1.6 Bibliographical Notes 1.7 Exercises1.7.1 On a Series of Software Developments1.7.2 Introductory Remarks1.7.3 The Exercises　2　Documents2.1 Documentation Is All！2.2 Kinds of Document Parts2.2.1 General2.2.2 What Is a Description?2.3 Deliverables2.4 Informative Document Parts2.4.1 Name， Place and Date2.4.2 Partners2.4.3 Current Situation， Nds， Ideas and Concepts 2.4.4 Scope~ Span and Synopsis2.4.5 Assumptions and Dependencies2.4.6 Implicit/Derivative Goals2.4.7 Standards2.4.8 Contracts and Design Briefs2.4.9 Logbook　 2.4.10 Discussion of Informative Documentation2.5 Descriptive Document Parts2.5.1 Rough Sketches2.5.2 Terminologies2.5.3 Narratives2.5.4 Formal Descriptions2.5.5 Discussion of Descriptive Documentation2.6 Analytic Document Parts2.6.1 Concept Formation2.6.2 Validation2.6.3 Verification， Model Checking， Testing2.6.4 Theory Formation2.6.5 Discussion of Analytic Documentation2.7 Discussion2.7.1 General 2.7.2 Summary of Chapter2.8 Exercises2.8.1 A Preamble　2.8.2 The ExercisesPart II CONCEPTUAL FRAMEWORKPart III DESCRIPTIONS：THEORY AND PRACTICEPart IV DOMAIN ENGINEERINGPart V REQUIREMENTS ENGINEERINGPart VI COMPUTING SYSTEMS DESIGNPart VII CLOSINGPart VIII APPENDIXESReferences

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    軟件工程卷3 PDF格式下載

---