時序邏輯程序設(shè)計與軟件工程（下）

內(nèi)容概要

《時序邏輯程序設(shè)計與軟件工程(下)》旨在介紹一種面向軟件工程的時序邏輯語言(XYZ/E)及以該語言為基礎(chǔ)的支撐軟件開發(fā)全過程的軟件工程系統(tǒng)(XYZ系統(tǒng))，目標是希望能為一般工業(yè)界用戶服務(wù)，以提高軟件開發(fā)的自動化水平及所開發(fā)軟件的可靠性與可維護性。
《時序邏輯程序設(shè)計與軟件工程(下)》共分上、下兩冊。上冊介紹時序邏輯語言XYZ/E，內(nèi)容包括XYZ系統(tǒng)研制的技術(shù)和哲學(xué)背景，XYZ/E的邏輯基礎(chǔ)，XYZ/E的基本特征和基本成分，XYZ/E的控制結(jié)構(gòu)，XYZE中所表示的各種機制，XYZ/E的實現(xiàn)，基于XYZ/E的實時程序設(shè)計與混成系統(tǒng)表示，以及在XYZ/E框架內(nèi)的程序規(guī)范與Hoare邏輯驗證等。下冊介紹軟件工程方法與工具，內(nèi)容包括面向模塊程序設(shè)計的可視化圖形工具，基于形式規(guī)范的逐步求精過程、速成原型與模型檢驗方法，可視化體系結(jié)構(gòu)描述語言與工具及其在軟件開發(fā)過程中的應(yīng)用，最后還介紹了語言轉(zhuǎn)換工具及其在軟件再造工程和某些專用領(lǐng)域的應(yīng)用，實時及混成系統(tǒng)的驗證等。

書籍目錄

目錄
上冊時序邏輯語言
第一章緒論
1.1程序技術(shù)研究3年
l..2哲學(xué)方法
1.3XYZ系統(tǒng)簡介
第二章時序邏輯語言XYZ/E的基礎(chǔ)部分
2.1基本概念
2.2狀態(tài)轉(zhuǎn)換與單元
2.3三種不同形式的控制結(jié)構(gòu)
2.4Hom子句語言XYZ/PEO
2.5指針
第三章時序邏輯語言XYZ/E的基層模

圖書封面

評論、評分、閱讀與下載

---

    時序邏輯程序設(shè)計與軟件工程（下） PDF格式下載

---