Can I read 时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具 on EtoBox?

时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具 by 唐稚松等著, 唐稚松等著, 唐稚松 is a book available to read on EtoBox.

What is 时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具 about?

1 (p0-1): 第一章 绪论1 (p0-2): 1.1 程序技术研究30年21 (p0-3): 1.2 哲学方法40 (p0-4): 1.3 XYZ系统简介42 (p0-5): 第二章 时序逻辑语言XYZ/E的基础部分42 (p0-6): 2.1 基本概念47 (p0-7): 2.2 状态转换与单元55 (p0-8): 2.3 三各不同形式的控制结构62 (p0-9): 2.4 Horn子句语言XYZ/PEO64 (p0-10): 2.5 指针67 (p0-11): 第三章 时序逻辑语言XYZ/E的基层模块67 (p0-12): 3.1 程序框架70 (p0-13): 3.2 过程与函数78 (p0-14): 3.3 包块83 (p0-15): 第四章 时序逻辑XYZ/E语言的并发成分83 (p0-16): 4.1 进程与并行语句86 (p0-17): 4.2 通信93 (p0-18): 4.3 面向对象的程序设计95 (p0-19): 4.4 面向对象的程序设计101 (p0-20): 4.5 一种面向并发通信的计算过程的模块106 (p0-21): 4.6 分布式程序设计109 (p0-22): 第五章 实时程序设计与混成系统表示109 (p0-23): 5.1 从XYZ/BE到XYZ/BBE116 (p0-24): 5.2 从XYZ/BE到XYZ/RBE120 (p0-25): 5.3 实时程序自动生成工具126 (p0-26): 5.4 蒸汽锅炉实时控制问题139 (p0-27): 5.5 混成系统在XYZ系统中的表示方法148 (p0-28): 第六章 模型与实现148 (p0-29): 6.1 模型153 (p0-30): 6.2 实现163 (p0-31): 第七章 程序规范与Hoare逻辑证163 (p0-32): 7.1 程序规范与程序性质166 (p0-33): 7.2 Hoare逻辑173 (p0-34): 7.3 活性验证问题175 (p0-35): 7.4 一些与常用成分有关的验证问题194 (p0-36): 7.5 并发通信问题无死锁的条件200 (p0-37): 附录I XYZ/E的语法公式表216 (p0-38): 附录II XYZ/E的理论基础232 (p0-39): 参考文献241 (p0-40): 第八章 XYZ/E可视化集成环境241 (p0-41): 8.1软件进化与软件开发过程247 (p0-42): 8.2面向开发过程的XYZ/CASE262 (p0-43): 8.3一个开发实例267 (p0-44): 第九章 规范导引的逐步求精过程与模型检验方法267 (p0-45): 9.1逐步求精过程271 (p0-46): 9.2基于XYZ/E重构SZRTOS实时操作系统内核334 (p0-47): 9.3速成原型方

Author

唐稚松等著, 唐稚松等著, 唐稚松

Publisher

北京:科学出版社

Published

2002

Language

ZH

ISBN

9787030099280