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

定　價：￥25.00

作　者：	唐稚松等著
出版社：	科學(xué)出版社
叢編項：
標(biāo)　簽：	程序設(shè)計軟件工程時序邏輯語言

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

上冊  時序邏輯語言
第一章  結(jié)論
1.1 程序技術(shù)研究30年
1.2 哲學(xué)方法
1.3 XYZ系統(tǒng)簡介
第二章  時序邏輯語言XYZ/E的基礎(chǔ)部分
2.1 基本概念
2.2 狀態(tài)轉(zhuǎn)換與單元
2.3 三種不同的形式控制結(jié)構(gòu)
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 面向?qū)ο蟮某绦蛟O(shè)計
4.5 一種面向并發(fā)通信的計算過程的模塊
4.6 分布式程序設(shè)計
第五章  實時程序設(shè)計
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ī)范與程序性質(zhì)
7.2 Hoare邏輯
7.3 活性驗證問題
7.4 一些與常用成分有關(guān)的驗證問題
7.5 并發(fā)通信進程無死鎖的條件
附錄I  時序邏輯語言XYZ/E的語法公式表
附錄II XYZ/E的理論基礎(chǔ)