時(shí)序邏輯程序設(shè)計(jì)與軟件工程（上冊(cè) 時(shí)序邏輯語(yǔ)言）

上冊(cè)  時(shí)序邏輯語(yǔ)言
第一章  結(jié)論
1.1 程序技術(shù)研究30年
1.2 哲學(xué)方法
1.3 XYZ系統(tǒng)簡(jiǎn)介
第二章  時(shí)序邏輯語(yǔ)言XYZ/E的基礎(chǔ)部分
2.1 基本概念
2.2 狀態(tài)轉(zhuǎn)換與單元
2.3 三種不同的形式控制結(jié)構(gòu)
2.4 Horn子句語(yǔ)言XYZ/PE0
2.5 指針
第三章  時(shí)序邏輯語(yǔ)言XYZ/E的基層模塊
3.1 程序框架
3.2 過(guò)程與函數(shù)
3.3 包塊
第四章  時(shí)序邏輯語(yǔ)言XYZ/E的并發(fā)成分
4.1 進(jìn)程與并行語(yǔ)句
4.2 通信
4.3 共享存儲(chǔ)的并發(fā)過(guò)程
4.4 面向?qū)ο蟮某绦蛟O(shè)計(jì)
4.5 一種面向并發(fā)通信的計(jì)算過(guò)程的模塊
4.6 分布式程序設(shè)計(jì)
第五章  實(shí)時(shí)程序設(shè)計(jì)
5.1 從XYZ/BE到XYZ/RBE
5.2 從XYZ/SE到XYZ/RSE
5.3 實(shí)時(shí)程序自動(dòng)生成工具
5.4 蒸汽鍋爐實(shí)時(shí)控制問(wèn)題
5.5 混成實(shí)時(shí)系統(tǒng)在XYZ系統(tǒng)中的表示方法
第六章  模型與實(shí)現(xiàn)
6.1 模型
6.2 實(shí)現(xiàn)
第七章  程序規(guī)范與Hoare邏輯驗(yàn)證
7.1 程序規(guī)范與程序性質(zhì)
7.2 Hoare邏輯
7.3 活性驗(yàn)證問(wèn)題
7.4 一些與常用成分有關(guān)的驗(yàn)證問(wèn)題
7.5 并發(fā)通信進(jìn)程無(wú)死鎖的條件
附錄I  時(shí)序邏輯語(yǔ)言XYZ/E的語(yǔ)法公式表
附錄II XYZ/E的理論基礎(chǔ)