时序逻辑程序设计与软件工程 上 时序逻辑语言PDF格式文档图书下载
- 购买点数:10 点
- 作 者:唐稚松等著
- 出 版 社:北京:科学出版社
- 出版年份:1999
- ISBN:7030070062
- 标注页数:231 页
- PDF页数:247 页
上册 时序逻辑语言 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
- 《时序逻辑程序设计与软件工程 上 时序逻辑语言》唐稚松等著 1999
- 《时序逻辑程序设计与软件工程 下 软件工程方法与工具》唐稚松等著 2002
- 《时序电路逻辑设计与特殊组合函数》(美)Frederick J.Hill等著;郑友明 江太辉译 1990
- 《高性能FPGA系统:时序设计与分析》崔嵬,王巍编著 2014
- 《时序分析与工程应用》佟德纯,张黛华编著 1990
- 《超大规模集成电路物理设计 从图分割到时序收敛》(美)安德鲁等著;于永斌,张徐亮,徐宁等译 2014
- 《集成电路静态时序分析与建模》刘峰编著 2016
- 《红楼梦时序推演》步应华著 2015
- 《非线性自回归时序模型分析及工程应用》陈茹雯著 2011
- 《VHDL硬件描述语言与数字逻辑电路设计 电子工程师必备知识》侯伯亨,顾新编著 1999
- 《Townsend Press 英语词汇学习丛书 英语词汇入门 第2版》(美)纳代尔(Nadell.J)等编著 2018
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016