《Z形式規約的自動求精研究》是2009年國防工業出版社出版的圖書，作者是王宏生。
基本介紹
- 書名：Z形式規約的自動求精研究
- 作者：王宏生
- ISBN：9787118060447
- 頁數：231
- 出版社：國防工業出版社
- 出版時間：2009-01-01
- 裝幀：平裝
- 開本：大32開
基本信息,內容簡介,
基本信息
作 者：王宏生 著 叢 書 名：出 版 社：國防工業出版社ISBN：9787118060447 出版時間：2009-01-01 版 次：1 頁 數：231 裝 幀：平裝 開 本：大32開 所屬分類：圖書 > 計算機與網際網路 > 程式語言與程式設計
內容簡介
《Z形式規約的自動求精研究》敘述簡明清晰，邏輯性強，可作為高等學校相關專業研究生和從事形式語言研究、大型軟體形式化開發與套用的專業人員參考。 Z形式規約是一種世界上廣泛使用的軟體規格說明語言，在軟體開發的需求規格說明階段和軟體設計階段都可以使用，對於提高大型軟體質量、驗證軟體設計正確性等方面具有非常重要的意義。
由於Z是以集合論和一階邏輯為基礎，是設計用來給人看的而不能由機器執行。將Z轉換成高級語言需要專業的數學知識，而且對於大型軟體，轉換過程極易出錯。Z的機器可執行性已經引起世界範圍的關注，但目前還不能直接從Z語言自動生成應用程式，Z到可執行代碼的轉換主要由人工完成。《Z形式規約的自動求精研究》指出了Z語言求精方法對於自動生成應用程式的不足，提出了對Z規格說明做一定限制後的Smart Z自動求精為C++和STL方法。
