時(shí)序邏輯程序設(shè)計(jì)與軟件工程（上冊(cè) 時(shí)序邏輯語(yǔ)言）

定　價(jià)：￥25.00

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

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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《時(shí)序邏輯程序設(shè)計(jì)與軟件工程（上冊(cè) 時(shí)序邏輯語(yǔ)言）》作者簡(jiǎn)介

圖書(shū)目錄

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