From verification to life cycle support
Sabina Geldof, Aurélien Slodzian, Walter Van de Velde · IEEE Expert · 1996
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.