Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
3.9CiteScore
1.3Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
1997 Volume 12
Article Contents
Next Previous
RESEARCH ARTICLE   Open Access    

ECAI-96 workshop on validation, verification and refinement of KBS: A short report

More Information
  • Ensuring reliability and enhancing quality of Knowledge Based Systems (KBS) are critical factors for their successful deployment in real-world applications. This is a broad task involving both methodological and formal approaches for designing rigorous Validation, Verification and Testing (VVT) methods and tools. Some of these can be adapted from conventional software engineering, while others rely on specific aspects of KBS.
  • 加载中

  • Cite this article

    MARIE-CHRISTINE ROUSSET, SUSAN CRAW. 1997. ECAI-96 workshop on validation, verification and refinement of KBS: A short report. The Knowledge Engineering Review. 12:52 doi: 10.1017/S0269888997000052
    MARIE-CHRISTINE ROUSSET, SUSAN CRAW. 1997. ECAI-96 workshop on validation, verification and refinement of KBS: A short report. The Knowledge Engineering Review. 12:52 doi: 10.1017/S0269888997000052
    shu
Download PDF

Article Metrics

Article views(11) PDF downloads(41)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

ECAI-96 workshop on validation, verification and refinement of KBS: A short report

  • Published online: 04 April 2001
The Knowledge Engineering Review  12,  Article number: 10.1017/S0269888997000052  (1997)  |  Cite this article

Abstract: Ensuring reliability and enhancing quality of Knowledge Based Systems (KBS) are critical factors for their successful deployment in real-world applications. This is a broad task involving both methodological and formal approaches for designing rigorous Validation, Verification and Testing (VVT) methods and tools. Some of these can be adapted from conventional software engineering, while others rely on specific aspects of KBS.

    HTML

    Rights and permissions
    • © 1997 Cambridge University Press
  • About this article
    Cite this article
    MARIE-CHRISTINE ROUSSET, SUSAN CRAW. 1997. ECAI-96 workshop on validation, verification and refinement of KBS: A short report. The Knowledge Engineering Review. 12:52 doi: 10.1017/S0269888997000052
    MARIE-CHRISTINE ROUSSET, SUSAN CRAW. 1997. ECAI-96 workshop on validation, verification and refinement of KBS: A short report. The Knowledge Engineering Review. 12:52 doi: 10.1017/S0269888997000052
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return