資料載入中.....
|
請使用永久網址來引用或連結此文件:
http://ir.ncue.edu.tw/ir/handle/987654321/11855
|
| 題名: | 應用概念圖形法驗證工作基規格 |
| 作者: | 李允中;賴聯福;黃為德 |
| 貢獻者: | 資訊工程學系 |
| 關鍵詞: | 驗證;概念模型;工作基規格;概念圖型法 |
| 日期: | 1995-12
|
| 上傳時間: | 2012-07-02T02:24:08Z
|
| 出版者: | 逢甲大學 |
| 摘要: | 在這篇論文中, 我們提出使用概念圖表示的工作基規格來建構及驗證概念模型. 使用工作基規格方法論來作為組織概念模型中相關知識的機制, 同時, 採用概念圖形法作為正規化方法來表示工作的模型規格與過程規格上 我們使用了限制滿足與放鬆技術來驗證模型規格, 以及使用推論演算法與特定性比較來驗證過程規格。 |
| 關聯: | 中華民國八十四年全國計算機會議 (NCS'95), 逢甲大學, Dec. , 1995: 610-617 |
| 顯示於類別: | [資訊工程學系] 會議論文
|
文件中的檔案:
| 檔案 |
大小 | 格式 | 瀏覽次數 |
|---|
| 2050400716001.pdf | 203Kb | Adobe PDF | 493 | 檢視/開啟 |
|
在NCUEIR中所有的資料項目都受到原著作權保護.
|
