Z形式規約的自動求精研究

版次：1 頁數：231 開本：大32開

基本信息

作　者：王宏生 著 叢 書 名：出 版 社：國防工業出版社ISBN：97871180604

47 出版時間：2009-01-01 版　次：1 頁　數：231 裝　幀：平裝 開　本：大32開 所屬分類：圖書 > 計算機與網際網路 > 程式語言與程式設計

內容簡介

《Z形式規約的自動求精研究》敘述簡明清晰，邏輯性強，可作為高等學校相關專業研究生和從事形式語言研究、大型軟體形式化開發與套用的專業人員參考。 Z形式規約是一種世界上廣泛使用的軟體規格說明語言，在軟體開發的需求規格說明階段和軟體設計階段都可以使用，對於提高大型軟體質量、驗證軟體設計正確性等方面具有非常重要的意義。
由於Z是以集合論和一階邏輯為基礎，是設計用來給人看的而不能由機器執行。將Z轉換成高級語言需要專業的數學知識，而且對於大型軟體，轉換過程極易出錯。Z的機器可執行性已經引起世界範圍的關注，但目前還不能直接從Z語言自動生成應用程式，Z到可執行代碼的轉換主要由人工完成。《Z形式規約的自動求精研究》指出了Z語言求精方法對於自動生成應用程式的不足，提出了對Z規格說明做一定限制後的Smart Z自動求精為C++和STL方法。