時序邏輯程序設計與軟件工程(下) 在線電子書 圖書標籤: 時序邏輯程序設計
發表於2024-11-08
時序邏輯程序設計與軟件工程(下) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
《時序邏輯程序設計與軟件工程(下)》旨在介紹一種麵嚮軟件工程的時序邏輯語言(XYZ/E)及以該語言為基礎的支撐軟件開發全過程的軟件工程係統(XYZ係統),目標是希望能為一般工業界用戶服務,以提高軟件開發的自動化水平及所開發軟件的可靠性與可維護性。
《時序邏輯程序設計與軟件工程(下)》共分上、下兩冊。上冊介紹時序邏輯語言XYZ/E,內容包括XYZ係統研製的技術和哲學背景,XYZ/E的邏輯基礎,XYZ/E的基本特徵和基本成分,XYZ/E的控製結構,XYZE中所錶示的各種機製,XYZ/E的實現,基於XYZ/E的實時程序設計與混成係統錶示,以及在XYZ/E框架內的程序規範與Hoare邏輯驗證等。下冊介紹軟件工程方法與工具,內容包括麵嚮模塊程序設計的可視化圖形工具,基於形式規範的逐步求精過程、速成原型與模型檢驗方法,可視化體係結構描述語言與工具及其在軟件開發過程中的應用,最後還介紹瞭語言轉換工具及其在軟件再造工程和某些專用領域的應用,實時及混成係統的驗證等。
評分
評分
評分
評分
時序邏輯程序設計與軟件工程(下) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024