時序邏輯程式設計與軟體工程(上冊)

時序邏輯語言XYZ/E的基礎部分2.1基本概念2.2狀態轉換與單元2.3三種不同形式的控制結構2.4Horn 時序邏輯語言XYZ/E3.1程式框架3.2過程與函式3.3包塊第四章 時序邏輯語言XYZ/E的並

內容介紹

本書旨在介紹一種面向軟體工程的時序邏輯語言(XYZ/E)及以該語言為基礎的支撐軟體開發全過程的軟體工程系統(XYZ系統),目標是希望能為一般工業界用戶服務,以提高軟體開發的自動化水平及所開發的軟體的可靠性與可維護性。
全書共分上、下兩冊出版。上冊介紹時序邏輯語言XYZ/E,內容包括XYZ系統研製的技術和哲學背景,XYZ/E的邏輯基礎,XYZ/E的基本特徵和基本成分,XYZ/E的控制結構,

作品目錄

上冊 時序邏輯語言
第一章 緒論
1.1程式技術研究30年
1.2哲學方法
1.3XYZ系統簡介
第二章 時序邏輯語言XYZ/E的基礎部分
2.1基本概念
2.2狀態轉換與單元
2.3三種不同形式的控制結構
2.4Horn子句語言XYZ/PE0
2.5指針
第三章 時序邏輯語言XYZ/E
3.1程式框架
3.2過程與函式
3.3包塊
第四章 時序邏輯語言XYZ/E的並

熱門詞條

聯絡我們