时序逻辑程序设计与软件工程 上 时序逻辑语言pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

时序逻辑程序设计与软件工程 上 时序逻辑语言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/PE0 61

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/RBE 107

第五章 实时程序设计 107

5．2 从XYZ/SE到XYZ/RSE 114

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