DocumentCode
301639
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
Volume
3
fYear
1995
fDate
22-25 Oct 1995
Firstpage
2856
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1995.538216
Filename
538216
Link To Document