來源：互聯(lián)網(wǎng)
時(shí)序邏輯語言XYZ/E的基礎(chǔ)部分2.1基本概念2.2狀態(tài)轉(zhuǎn)換與單元2.3三種不同形式的控制結(jié)構(gòu)2.4Horn 時(shí)序邏輯語言XYZ/E3.1程序框架3.2過程與函數(shù)3.3包塊第四章 時(shí)序邏輯語言XYZ/E的并
內(nèi)容介紹
本書旨在介紹一種面向軟件工程的時(shí)序邏輯語言(XYZ／E)及以該語言為基礎(chǔ)的支撐軟件開發(fā)全過程的軟件工程系統(tǒng)(XYZ系統(tǒng))，目標(biāo)是希望能為一般工業(yè)界用戶服務(wù)，以提高軟件開發(fā)的自動(dòng)化水平及所開發(fā)的軟件的可靠性與可維護(hù)性。
全書共分上、下兩冊(cè)出版。上冊(cè)介紹時(shí)序邏輯語言XYZ／E，內(nèi)容包括XYZ系統(tǒng)研制的技術(shù)和哲學(xué)背景，XYZ／E的邏輯基礎(chǔ)，XYZ／E的基本特征和基本成分，XYZ／E的控制結(jié)構(gòu)，
作品目錄
上冊(cè) 時(shí)序邏輯語言
第一章 緒論
1.1程序技術(shù)研究30年
1.2哲學(xué)方法
1.3XYZ系統(tǒng)簡介
第二章 時(shí)序邏輯語言XYZ/E的基礎(chǔ)部分
2.1基本概念
2.2狀態(tài)轉(zhuǎn)換與單元
2.3三種不同形式的控制結(jié)構(gòu)
2.4Horn子句語言XYZ/PE0
2.5指針
第三章 時(shí)序邏輯語言XYZ/E
3.1程序框架
3.2過程與函數(shù)
3.3包塊
第四章 時(shí)序邏輯語言XYZ/E的并
參考資料 >