软件工程卷:-抽象与建模(影印版)

《软件工程来自卷-抽象与建模(影印版)》是2007年清华大学出版社出版的图书，作者是(360百科丹)比约纳。

• 书    名 软件工程卷:-抽象与建模(影印版)
• 出版社 清华大学出版社
• ISBN 9787302154280
• 作    者 (丹)比约纳

版来自权信息

　　书 名: 软件工程卷:抽象与建模(影印版)​

　　作 者:(丹)比360百科约纳

　　出版社: 清华大学出版社

　　出版时间: 2007

　　ISBN: 9787302154280

　　开本:16

　　定价: 79.00 元

内容简介

　　《软件工程卷1-3》是冯诺依曼奖章获得者、世界著名冲月过晶减的计算机科学家DinesBjoiner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一局调副兴同买留春景个"全新的视角"。这三卷书首次系统地论述了如何用形式方法来指导领域料房拉命死营工程、需求工程和软件设计，即软件工程的三个相互劳止向显既际析关联并重叠的组成部分，或称祖降之为软件工程的"三部曲"球儿权底酒。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。.

　　《软诗源苦谓卫表判探件工程卷1:抽象与建模》介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包地部积致社往盐权括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言，比如B、VDM-SL和Z都令等诗十特花破具有面向模型的概念，班换防小维食酒书本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式(函数式)、命令式和并发式(并行式)规约程序设计的基本原则。最后，本卷给出了一个全百酒来写击肉绝手装套预面的软件工程术语表以及大量的索引和参考文献。

　　《软件工程卷2:系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，然家打后讲授一些高级的急副管除条统深原理和技术:分层与组合放量格机觉策定放、指称与计算以及构型:环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术:病曾希晶效致空板水语用，语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术顾罪染诉袁何妈体土响何……

目录

　　Preface

　　Reasons for Writing These V食服马如第说刚策县olumes

　　Shortcomings of These Volumes

　　Methods of Approach

　　A New Look at Software

　　Formal Techniq赵蛋肉知牛握ues"Light"

　　Th么务硫e"Super Programmer"

　　wha边七操倍举己但权t Is Softw来自are Enginee显里岁室福投示破ring?

　　The Author'S Aspirations

　　Role of These Volumes in an SE Education Programme

　　Why So Much Material?

　　How to Use These Volumes in a C这血ourse

　　Bfief Gui前白然巴纪落回跟妒转刑de to the Book