時序邏輯程序設計與軟件工程（上冊時序邏輯語言）

定　價：￥25.00

作　者：	唐稚松等著
出版社：	科學出版社
叢編項：
標　簽：	程序設計軟件工程時序邏輯語言

ISBN：	9787030070067	出版時間：	1999-02-01	包裝：
開本：	26cm	頁數(shù)：	231頁	字數(shù)：

內容簡介

　　本書旨在介紹一種面向軟件工程的時序邏輯語言及以該語言為基礎的支撐軟件開發(fā)全過程的軟件工程系統(tǒng)，目標是希望能為一般工業(yè)界用戶服務，以提高軟件開發(fā)的自動化水平及所開發(fā)的軟件的可靠性與可維護性。本書是作者近20年來研究成果的總結。全書共分上、下兩冊出版。上冊介紹時序邏輯語言XYZ/E，內容包括XYZ系統(tǒng)研制的技術和哲學背景，XYZ/E的邏輯基礎，XYZ/E的基本特征和基本成分，XYZ/E的控制結構，XYZ/E中所表示的各種機制，XYZ/E的實現(xiàn)，基于XYZ/E的實時程序設計，以及在XYZ/E框架內的程序規(guī)范與Hoare邏輯驗證等。下冊介紹軟件工程方法與工具，內容包括基于模塊程序設計的可視化圖形工具，面向形式規(guī)范的逐步求精過程與速成原形方法，以可視圖圖形表示的體系結構描述語言XYZ/ADL及其軟件開發(fā)過程中的應用；除以上三種不同軟件開發(fā)方法外，最后還介紹了基于共享變量的程序驗證方法、語言轉換工具及其在軟件再

作者簡介

暫缺《時序邏輯程序設計與軟件工程（上冊時序邏輯語言）》作者簡介

圖書目錄

上冊  時序邏輯語言
第一章  結論
1.1 程序技術研究30年
1.2 哲學方法
1.3 XYZ系統(tǒng)簡介
第二章  時序邏輯語言XYZ/E的基礎部分
2.1 基本概念
2.2 狀態(tài)轉換與單元
2.3 三種不同的形式控制結構
2.4 Horn子句語言XYZ/PE0
2.5 指針
第三章  時序邏輯語言XYZ/E的基層模塊
3.1 程序框架
3.2 過程與函數(shù)
3.3 包塊
第四章  時序邏輯語言XYZ/E的并發(fā)成分
4.1 進程與并行語句
4.2 通信
4.3 共享存儲的并發(fā)過程
4.4 面向對象的程序設計
4.5 一種面向并發(fā)通信的計算過程的模塊
4.6 分布式程序設計
第五章  實時程序設計
5.1 從XYZ/BE到XYZ/RBE
5.2 從XYZ/SE到XYZ/RSE
5.3 實時程序自動生成工具
5.4 蒸汽鍋爐實時控制問題
5.5 混成實時系統(tǒng)在XYZ系統(tǒng)中的表示方法
第六章  模型與實現(xiàn)
6.1 模型
6.2 實現(xiàn)
第七章  程序規(guī)范與Hoare邏輯驗證
7.1 程序規(guī)范與程序性質
7.2 Hoare邏輯
7.3 活性驗證問題
7.4 一些與常用成分有關的驗證問題
7.5 并發(fā)通信進程無死鎖的條件
附錄I  時序邏輯語言XYZ/E的語法公式表
附錄II XYZ/E的理論基礎