DocumentCode
843014
Title
From verification to life cycle support
Author
Geldof, Sabine ; Slodzian, Aurelien ; De Velde, Walter Van
Author_Institution
AI Lab., Free Univ. of Brussels, Belgium
Volume
11
Issue
2
fYear
1996
fDate
4/1/1996 12:00:00 AM
Firstpage
67
Lastpage
73
Abstract
Effective knowledge-engineering support demands adequate methods for modeling and documenting knowledge-engineering practice. By treating verification as a metalevel operation, these authors work with meta- and object-level projects in a single environment. They use the ComMet componential methodology and KresT workbench to create an environment capable of full life cycle support for a knowledge-engineering project
Keywords
knowledge acquisition; knowledge verification; system documentation; ComMet componential methodology; KresT workbench; knowledge-engineering practice documentation; knowledge-engineering practice modelling; knowledge-engineering support; life cycle support; meta-level projects; metalevel operation; object-level projects; verification; Computer languages; Guidelines; Joining processes; Knowledge based systems; Reflection;
fLanguage
English
Journal_Title
IEEE Expert
Publisher
ieee
ISSN
0885-9000
Type
jour
DOI
10.1109/64.491283
Filename
491283
Link To Document