Issue No.02 - April (1996 vol.11)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/64.491283
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.
Aurelien Slodzian, Sabine Geldof, "From Verification to Life Cycle Support", IEEE Intelligent Systems, vol.11, no. 2, pp. 67-73, April 1996, doi:10.1109/64.491283