時序邏輯程序設(shè)計與軟件工程（上冊 時序邏輯語言）

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