《時序邏輯程式設計與軟體工程（下）》是科學出版社出版的圖書，作者是唐稚松
基本介紹
- 中文名：時序邏輯程式設計與軟體工程（下）
- 作者：唐稚松
- 出版社：科學出版社
- 出版時間：2002年11月
- 頁數：264 頁
- 定價：30.00 元
- ISBN：9787030099280
內容簡介
《時序邏輯程式設計與軟體工程(下)》旨在介紹一種面向軟體工程的時序邏輯語言(XYZ/E)及以該語言為基礎的支撐軟體開發全過程的軟體工程系統(XYZ系統)，目標是希望能為一般工業界用戶服務，以提高軟體開發的自動化水平及所開發軟體的可靠性與可維護性。 《時序邏輯程式設計與軟體工程(下)》共分上、下兩冊。上冊介紹時序邏輯語言XYZ/E，內容包括XYZ系統研製的技術和哲學背景，XYZ/E的邏輯基礎，XYZ/E的基本特徵和基本成分，XYZ/E的控制結構，XYZE中所表示的各種機制，XYZ/E的實現，基於XYZ/E的實時程式設計與混成系統表示，以及在XYZ/E框架內的程式規範與Hoare邏輯驗證等。下冊介紹軟體工程方法與工具，內容包括面向模組程式設計的可視化圖形工具，基於形式規範的逐步求精過程、速成原型與模型檢驗方法，可視化體系結構描述語言與工具及其在軟體開發過...(展開全部) 《時序邏輯程式設計與軟體工程(下)》旨在介紹一種面向軟體工程的時序邏輯語言(XYZ/E)及以該語言為基礎的支撐軟體開發全過程的軟體工程系統(XYZ系統)，目標是希望能為一般工業界用戶服務，以提高軟體開發的自動化水平及所開發軟體的可靠性與可維護性。 《時序邏輯程式設計與軟體工程(下)》共分上、下兩冊。上冊介紹時序邏輯語言XYZ/E，內容包括XYZ系統研製的技術和哲學背景，XYZ/E的邏輯基礎，XYZ/E的基本特徵和基本成分，XYZ/E的控制結構，XYZE中所表示的各種機制，XYZ/E的實現，基於XYZ/E的實時程式設計與混成系統表示，以及在XYZ/E框架內的程式規範與Hoare邏輯驗證等。下冊介紹軟體工程方法與工具，內容包括面向模組程式設計的可視化圖形工具，基於形式規範的逐步求精過程、速成原型與模型檢驗方法，可視化體系結構描述語言與工具及其在軟體開發過程中的套用，最後還介紹了語言轉換工具及其在軟體再造工程和某些專用領域的套用，實時及混成系統的驗證等。
