時(shí)序邏輯程序設(shè)計(jì)與軟件工程:時(shí)序邏輯語言(下冊)

內(nèi)容概要

本書旨在介紹一種面向軟件工程的時(shí)序邏輯語言(XYZ／E)及以該語言為基礎(chǔ)的支撐軟件開發(fā)全過程的軟件工程系統(tǒng)(XYZ系統(tǒng))，目標(biāo)是希望能為一般工業(yè)界用戶服務(wù)，以提高軟件開發(fā)的自動(dòng)化水平及所開發(fā)的軟件的可靠性與可維護(hù)性。
    全書共分上、下兩冊出版。上冊介紹時(shí)序邏輯語言XYZ／E，內(nèi)容包括XYZ系統(tǒng)研制的技術(shù)和哲學(xué)背景，XYZ／E的邏輯基礎(chǔ)，XYZ／E的基本特征和基本成分，XYZ／E的控制結(jié)構(gòu)，

書籍目錄

上冊 時(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的并

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    時(shí)序邏輯程序設(shè)計(jì)與軟件工程:時(shí)序邏輯語言(下冊) PDF格式下載

---