National Changhua University of Education Institutional Repository : Item 987654321/11856
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 6507/11669
Visitors : 29724306      Online Users : 554
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Adv. Search
LoginUploadHelpAboutAdminister

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

Title: A task-based approach to verifying conceptual models
Authors: Lee, Joiiatlian;Lai, Lien-Fu;Huang, W. T.
Contributors: 資訊工程學系
Date: 1996-08
Issue Date: 2012-07-02T02:24:21Z
Abstract: 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
Relation: The IEEE Twentieth Annual International Computer Software and Applications Conference, Aug. 21-22, 1996: 132-137
Appears in Collections:[Department and Graduate Institute of Computer Science and Information Engineering] Proceedings

Files in This Item:

File SizeFormat
index.html0KbHTML616View/Open


All items in NCUEIR are protected by copyright, with all rights reserved.

 


DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback