注冊(cè) | 登錄讀書(shū)好,好讀書(shū),讀好書(shū)!
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書(shū)科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)軟件工程及軟件方法學(xué)軟件工程:卷3-領(lǐng)域、需求與軟件設(shè)計(jì)(影印版)

軟件工程:卷3-領(lǐng)域、需求與軟件設(shè)計(jì)(影印版)

軟件工程:卷3-領(lǐng)域、需求與軟件設(shè)計(jì)(影印版)

定 價(jià):¥79.00

作 者: (丹)比約納
出版社: 清華大學(xué)出版社
叢編項(xiàng): 軟件工程
標(biāo) 簽: 軟件工程

購(gòu)買(mǎi)這本書(shū)可以去


ISBN: 9787302154273 出版時(shí)間: 2007-08-01 包裝: 平裝
開(kāi)本: 0開(kāi) 頁(yè)數(shù): 766 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《軟件工程:卷3-領(lǐng)域、需求與軟件設(shè)計(jì)(影印版)》作者簡(jiǎn)介

圖書(shū)目錄

Preface
 General
Brief Guide to Volume 3
Acknowledgements
Part 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 Discussion
1.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 Steps
1.4 The Triptych Process Model -- A First View
   1.4.1 The Concept of a Process Model
   1.4.2 The Triptych Process Model
1.5 Conclusion to Chapter 1
   1.5.1 Summary
1.5.2 What Will Be Covered Later?
  1.6 Bibliographical Notes
  1.7 Exercises
1.7.1 On a Series of Software Developments
1.7.2 Introductory Remarks
1.7.3 The Exercises
 2 Documents
  2.1 Documentation Is All!
  2.2 Kinds of Document Parts
2.2.1 General
2.2.2 What Is a Description?
  2.3 Deliverables
  2.4 Informative Document Parts
2.4.1 Name, Place and Date
2.4.2 Partners
2.4.3 Current Situation, Nds, Ideas and Concepts
2.4.4 Scope~ Span and Synopsis
2.4.5 Assumptions and Dependencies
2.4.6 Implicit/Derivative Goals
2.4.7 Standards
2.4.8 Contracts and Design Briefs
2.4.9 Logbook
  2.4.10 Discussion of Informative Documentation
  2.5 Descriptive Document Parts
2.5.1 Rough Sketches
2.5.2 Terminologies
2.5.3 Narratives
2.5.4 Formal Descriptions
2.5.5 Discussion of Descriptive Documentation
  2.6 Analytic Document Parts
2.6.1 Concept Formation
2.6.2 Validation
2.6.3 Verification, Model Checking, Testing
2.6.4 Theory Formation
2.6.5 Discussion of Analytic Documentation
  2.7 Discussion
2.7.1 General
2.7.2 Summary of Chapter
  2.8 Exercises
2.8.1 A Preamble
 2.8.2 The Exercises
Part II CONCEPTUAL FRAMEWORK
Part III DESCRIPTIONS:THEORY AND PRACTICE
Part IV DOMAIN ENGINEERING
Part V REQUIREMENTS ENGINEERING
Part VI COMPUTING SYSTEMS DESIGN
Part VII CLOSING
Part VIII APPENDIXES
References

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) www.talentonion.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)