书名:软件工程卷3:领域、需求与软件设计
编号:326324
ISBN:9787302154273[十位:7302154279]
作者:(丹)比约纳(Bjorner D.)
出版社:清华大学出版社
出版日期:2007年08月
页数:765
定价:79.00 元
参考重量:1.050Kg
-------------------------
图书情况:正版二手旧书,绝不影响正常阅读!
绝无缺页少页,发货前再次检查,请放心购买!
* 内容提要 *
《软件工程卷1-3》是冯诺依曼奖章获得者、世界著名的计算机科学家 Dines Bjoiner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计,即软件工程的三个相互关联并重叠的组成部分,或称之为软件工程的“三部曲”。在软件开发的各个阶段,如果都能够采用这种形式化的开发模式,将能够在极大程度上保证软件开发的正确性和有效性。
《软件工程卷1:抽象与建模》介绍了抽象与建模的基本原理和技术。首先,本卷给出了离散数学的基本介绍,包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑,然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言,比如B、VDM-SL和Z都具有面向模型的概念,本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式(函数式)、命令式和并发式(并行式)规约程序设计的基本原则。最后,本卷给出了一个全面的软件工程术语表以及大量的索引和参考文献。
《软件工程卷2:系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先,然后讲
* 图书目录 *
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
* 文章节选 *
暂无相关介绍
* 编辑推荐与评论 *
暂无相关介绍
* 作者介绍 *
暂无相关介绍
-
暂无评论。