查詢結果分析
相關文獻
- A Scenario-Driven Approach to Validating Formal Specifications
- A Blackboard System for Automating Software Development
- OOAD的需求工程--整合目標與情境
- 零級氣體規格驗證技術發展及其應用
- 船舶規範知識管理系統之應用與研究
- An Experience-Based Approach for Business Process Reengineering
- 融合詮釋學與語言行動觀點的維護需求表達方法論之芻議
- 重規劃公部門之整合式話務客服系統--以臺灣中央健保署為例
- 軟體專案的需求工程流程之客製化探討
- 產品資源資訊整合設計與管理應用
頁籤選單縮合
題 名 | A Scenario-Driven Approach to Validating Formal Specifications |
---|---|
作 者 | 潘建一; | 書刊名 | 建國學報 |
卷 期 | 19:2 2000.06[民89.06] |
頁 次 | 頁745-754 |
分類號 | 312.49 |
關鍵詞 | 規格驗證; 需求動態模擬; 需求工程; 劇本引導式; Z規格語言; Specification validation; Requirements animation; Requirements engineering; Scenario-driven; Z specifications; |
語 文 | 英文(English) |