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
fDate :
4/1/1996 12:00:00 AM
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;
Journal_Title :
IEEE Expert
