The Community for Technology Leaders
Green Image
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.
INDEX TERMS
CITATION

W. Van de Velde, A. Slodzian and S. Geldof, "From Verification to Life Cycle Support," in IEEE Intelligent Systems, vol. 11, no. , pp. 67-73, 1996.
doi:10.1109/64.491283
87 ms
(Ver 3.3 (11022016))