Safeware: system safety and computers
Safeware: system safety and computers
Software deviation analysis
Model-based expert systems and the explanation of expertise
Expertise in context
International Journal of Human-Computer Studies
Knowledge engineering and management: the CommonKADS methodology
Knowledge engineering and management: the CommonKADS methodology
Simultaneous Modelling and Knowledge Acquisition Using NRDR
PRICAI '98 Proceedings of the 5th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
Hi-index | 0.00 |
Certification is the process of showing that software meets its requirements and is fit for purpose. It occurs in sensitive contexts where it is essential for safety or other reasons that the software should never fail. Certifying KBSs can be seen as especially problematic, because KBSs' output, being heuristic rather than algorithmic, is less predictable than that of conventional software. By developing a detailed and extended case study, the authors show that KBS development governed by CommonKADS is, with very little adjustment, satisfactory for KBS certification.