图书介绍
时序逻辑程序设计与软件工程 下 软件工程方法与工具PDF|Epub|txt|kindle电子书版本网盘下载
- 唐稚松等著 著
- 出版社： 北京：科学出版社
- ISBN：7030099281
- 出版时间：2002
- 标注页数：486页
- 文件大小：1MB
- 文件页数：21页
- 主题词：
PDF下载
下载说明
时序逻辑程序设计与软件工程 下 软件工程方法与工具PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 绪论1
1.1 程序技术研究30年1
1.2 哲学方法21
1.3 XYZ系统简介40
第二章 时序逻辑语言XYZ/E的基础部分42
2.1 基本概念42
2.2 状态转换与单元47
2.3 三各不同形式的控制结构55
2.4 Horn子句语言XYZ/PEO62
2.5 指针64
第三章 时序逻辑语言XYZ/E的基层模块67
3.1 程序框架67
3.2 过程与函数70
3.3 包块78
第四章 时序逻辑XYZ/E语言的并发成分83
4.1 进程与并行语句83
4.2 通信86
4.3 面向对象的程序设计93
4.4 面向对象的程序设计95
4.5 一种面向并发通信的计算过程的模块101
4.6 分布式程序设计106
第五章 实时程序设计与混成系统表示109
5.1 从XYZ/BE到XYZ/BBE109
5.2 从XYZ/BE到XYZ/RBE116
5.3 实时程序自动生成工具120
5.4 蒸汽锅炉实时控制问题126
5.5 混成系统在XYZ系统中的表示方法139
第六章 模型与实现148
6.1 模型148
6.2 实现153
第七章 程序规范与Hoare逻辑证163
7.1 程序规范与程序性质163
7.2 Hoare逻辑166
7.3 活性验证问题173
7.4 一些与常用成分有关的验证问题175
7.5 并发通信问题无死锁的条件194
附录Ⅰ XYZ/E的语法公式表200
附录Ⅱ XYZ/E的理论基础216
参考文献232
第八章 XYZ/E可视化集成环境241
8.1软件进化与软件开发过程241
8.2面向开发过程的XYZ/CASE247
8.3一个开发实例262
第九章 规范导引的逐步求精过程与模型检验方法267
9.1逐步求精过程267
9.2基于XYZ/E重构SZRTOS实时操作系统内核271
9.3速成原型方法334
9.4模型检验方法336
第十章 软件体系结构与XYZ况系统344
10.1软件体系结构344
10.2软件体系结构的生命周期模型和建模350
10.3软件体系结构建模语言XYZ/SAE354
I0.4典型体系结构风格的XYZ/E描述359
10.5可视化体系结构设计工具XYZ/ADL363
10.6基于组件的由静态语义向动态语义逐步过渡的程序设计方法367
10.7协议描述与验证举例:RPC-Memory(远程调用-存储器)问题386
第十一章 语言转换及其在软件再造工程与专用领域软件开发等方面的应用424
11.1语言的自动转换424
11.2静态语义处理427
11.3动态语义处理435
11.4国际标准专用语言到XYZ/E的转换439
11.5XYZ/E到Jwa的转换444
第十二章 连续时序逻辑与实时及混成系统的验证451
12.2实时系统456
12.3混成系统464
参考文献474
名词索引482
后记483