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