DocumentCode
3488299
Title
Rapid validation of a medical expert system using precedence logic
Author
Sorace, James M. ; Moore, G. William
Author_Institution
Dept. of Pathol., Maryland Univ., Medical Center, Baltimore, MD, USA
fYear
1993
fDate
13-16 Jun 1993
Firstpage
112
Lastpage
117
Abstract
The food and drug administration has noted that computer deficiencies and inadequate validation have contributed to errors in blood collection centers. The authors have developed a precedence-logic expert system which permits the software developer to write statements which can never be changed by subsequent programming actions. This allows for linear growth in the validation test set required to assure that donor units with positive test results are not released for transfusion
Keywords
formal logic; medical expert systems; program verification; blood collection centers; computer deficiencies; food and drug administration; medical expert system; precedence-logic expert system; programming; validation test set; Blood; Computer errors; Drugs; Explosions; Humans; Laboratories; Logic programming; Medical expert systems; Pathology; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer-Based Medical Systems, 1993. Proceedings of Sixth Annual IEEE Symposium on
Conference_Location
Ann Arbor, MI
Print_ISBN
0-8186-3752-8
Type
conf
DOI
10.1109/CBMS.1993.262981
Filename
262981
Link To Document