Title :
Verification and validation of knowledge-based program supervision systems
Author :
Marcos, Mar ; Moisan, Sabine ; Pobil, Angel P del
Author_Institution :
Dept. of Comput. Sci., Univ. Jaume I, Castellon, Spain
Abstract :
We present a study of verification and validation problem in the framework of knowledge-based program supervision systems, i.e. intelligent environments dedicated to the task of automation of complex software utilization. We are interested in methodologies and tools which can be applied during the knowledge-based system development process, in order to guarantee a certain degree of reliability in the final system
Keywords :
knowledge based systems; knowledge verification; program verification; supervisory programs; complex software utilization; intelligent environments; knowledge-based program supervision systems; knowledge-based system development; validation; verification; Automation; Bibliographies; Computer science; Electrocardiography; Electronic mail; Intelligent systems; Knowledge based systems; Knowledge representation; Quality control; Robustness;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.538216
