National Changhua University of Education Institutional Repository : Item 987654321/11855

English | 正體中文 | 简体中文 | Items with full text/Total items : 6507/11669
Visitors : 30296945 Online Users : 510

RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.

Scope Adv. Search

Login ‧ Upload ‧ Help ‧ About ‧ Administer

NCUEIR > College of Engineering > Department and Graduate Institute of Computer Science and Information Engineering > Proceedings > Item 987654321/11855

Please use this identifier to cite or link to this item: http://ir.ncue.edu.tw/ir/handle/987654321/11855

Title:	應用概念圖形法驗證工作基規格
Authors:	李允中;賴聯福;黃為德
Contributors:	資訊工程學系
Keywords:	驗證;概念模型;工作基規格;概念圖型法
Date:	1995-12
Issue Date:	2012-07-02T02:24:08Z
Publisher:	逢甲大學
Abstract:	在這篇論文中, 我們提出使用概念圖表示的工作基規格來建構及驗證概念模型. 使用工作基規格方法論來作為組織概念模型中相關知識的機制, 同時, 採用概念圖形法作為正規化方法來表示工作的模型規格與過程規格上我們使用了限制滿足與放鬆技術來驗證模型規格, 以及使用推論演算法與特定性比較來驗證過程規格。
Relation:	中華民國八十四年全國計算機會議 (NCS'95), 逢甲大學, Dec. , 1995: 610-617
Appears in Collections:	[Department and Graduate Institute of Computer Science and Information Engineering] Proceedings

Files in This Item:

File	Size	Format
2050400716001.pdf	203Kb	Adobe PDF	494	View/Open