• 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