图书介绍
时序逻辑程序设计与软件工程 上 时序逻辑语言PDF|Epub|txt|kindle电子书版本网盘下载
- 唐稚松等著 著
- 出版社： 北京：科学出版社
- ISBN：7030070062
- 出版时间：1999
- 标注页数：231页
- 文件大小：13MB
- 文件页数：247页
- 主题词：
PDF下载
下载说明
时序逻辑程序设计与软件工程 上 时序逻辑语言PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
上册 时序逻辑语言1
第一章 绪论1
1．1 程序技术研究30年1
1．2 哲学方法20
1．3 XYZ系统简介38
第二章 时序逻辑语言XYZ/E的基础部分41
2．1 基本概念41
2．2 状态转换与单元46
2．3 三种不同形式的控制结构54
2．4 Horn子句语言XYZ/PE061
2．5 指针63
第三章 时序逻辑语言XYZ/E的基层模块66
3．1 程序框架66
3．2 过程与函数69
3．3 包块77
第四章 时序逻辑语言XYZ/E的并发成分82
4．1 进程与并行语句82
4．2 通信84
4．3 共享存储的并发进程91
4．4 面向对象的程序设计93
4．5 一种面向并发通信的计算过程的模块99
4．6 分布式程序设计104
5．1 从XYZ/BE到XYZ/RBE107
第五章 实时程序设计107
5．2 从XYZ/SE到XYZ/RSE114
5．3 实时程序自动生成工具118
5．4 蒸汽锅炉实时控制问题124
5．5 混成实时系统在XYZ系统中的表示方法137
第六章 模型与实现146
6．1 模型146
6．2 实现151
第七章 程序规范与Hoare逻辑验证161
7．1 程序规范与程序性质161
7．2 Hoare逻辑164
7．3 活性验证问题171
7．4 一些与常用成分有关的验证问题173
7．5 并发通信进程无死锁的条件192
附录I 时序逻辑语言XYZ/E的语法公式表198
附录II XYZ/E的理论基础214
参考文献225
下册 软件工程方法与工具（预告）225
第八章 基于模块的可视化程序设计工具225
第九章 面向规范的逐步求精过程与语义一致性检验的方法与工具225
第十章 基于组件并面向体系结构的逐步过渡过程与语义一致性检验的方法与工具225
第十一章 关于程序正确性问题的进一步讨论225
第十二章 语言转换及其在软件再造工程及专用领域软件开发等方面的应用225
索引225