具體描述
本書旨在介紹一種麵嚮軟件工程的時序邏輯語言(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的並
· · · · · · (收起)
第一章 緒論
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的並
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有