|
题名:
|
软件工程卷1——抽象与建模 / Dines Bjorner著 , 刘伯超, 向剑文等译 |
|
ISBN:
|
978-7-302-20890-7 价格： CNY79.00 |
|
语种:
|
chi |
|
载体形态:
|
568页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2010.1 |
|
内容提要:
|
《软件工程卷1：抽象与建模》介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言，比如B、VDM-SL和Z都具有面向模型的概念，本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式(函数式)、命令式和并发式(并行式)规约程序设计的基本原则。 |
|
主题词:
|
软件工程 |
|
中图分类法:
|
TP311.5 版次： 4 |
|
其它题名:
|
抽象与建模 |
|
主要责任者:
|
Bjorner 著 |
|
主要责任者:
|
比约尼尔 著 |
|
次要责任者:
|
刘伯超 译 |