首頁
部落格
Facebook專頁
ENGLISH
珍藏特展
目錄導覽
技術體驗
成果網站資源
目錄導覽首頁
HOTKEY快速導覽
內容主題
典藏機構
進階搜尋
資源聯盟
首頁
目錄導覽
內容主題
新聞
國圖館藏期刊
首頁
目錄導覽
典藏機構與計畫
國家圖書館
國家圖書館期刊報紙典藏數位化計畫
A Scenario-Driven Approach to Validating Formal Specifications
推薦分享
資源連結
連結到原始資料
(您即將開啟新視窗離開本站)
後設資料
資料識別:
A00013826
資料類型:
期刊論文
著作者:
潘建一(Pan, Jiann-i)
主題與關鍵字:
規格驗證 需求動態模擬 需求工程 劇本引導式 Z規格語言 Specification validation Requirements animation Requirements engineering Scenario-driven Z specifications
描述:
來源期刊:建國學報
卷期:19:2 民89.06
頁次:頁745-754
日期:
20000600
來源:
臺灣期刊論文索引系統
管理權:
國家圖書館
授權聯絡窗口
管理單位:知識服務組-期刊
聯絡E-mail:nclper@ncl.edu.tw
電話:02-23619132轉305
引用這筆典藏
引用資訊
潘建一(Pan, Jiann-i)(20000600)。[A Scenario-Driven Approach to Validating Formal Specifications]。《數位典藏與數位學習聯合目錄》。http://catalog.digitalarchives.tw/item/00/62/0c/65.html(2017/03/23瀏覽)。
直接連結
http://catalog.digitalarchives.tw/item/00/62/0c/65.html
評分與驗證
請為這筆數位資源評分
感謝您為這筆數位資源評分,為了讓資料更容易被檢索利用,請選擇和這項數位資源相關的詞彙:
動態模擬
請填入更適合的關鍵詞
推薦藏品
基因、主體與後人文社會規範
白話散文與雜文--《中國現代文學的兩...
先秦至唐代「戲劇」與「戲曲小戲」劇目...
應用綠色螢光蛋白報導基因探討蝴蝶蘭癒...
中醫藥對慢性病毒性肝炎療效評估之研究
中國古代飲食名著(上)