資料載入中.....
|
請使用永久網址來引用或連結此文件:
http://ir.ncue.edu.tw/ir/handle/987654321/11856
|
題名: | A task-based approach to verifying conceptual models |
作者: | Lee, Joiiatlian;Lai, Lien-Fu;Huang, W. T. |
貢獻者: | 資訊工程學系 |
日期: | 1996-08
|
上傳時間: | 2012-07-02T02:24:21Z
|
摘要: | We propose the use of task based specifications in conceptual graphs to construct and verify a conceptual model. Task based specification methodology is used to serve as the mechanism to structure the knowledge captured in the conceptual model; whereas, conceptual graphs are adopted as the formalism to express task based specifications. Verifying a conceptual model is performed on model specifications of a task through constraint satisfaction and relaxation techniques, and on process specifications of the task based on the resolution algorithm and the notion of specificity |
關聯: | The IEEE Twentieth Annual International Computer Software and Applications Conference, Aug. 21-22, 1996: 132-137 |
顯示於類別: | [資訊工程學系] 會議論文
|
文件中的檔案:
檔案 |
大小 | 格式 | 瀏覽次數 |
index.html | 0Kb | HTML | 627 | 檢視/開啟 |
|
在NCUEIR中所有的資料項目都受到原著作權保護.
|