Hostname: page-component-586b7cd67f-l7hp2 Total loading time: 0 Render date: 2024-11-22T13:34:40.192Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  04 April 2001

MARIE-CHRISTINE ROUSSET  and
SUSAN CRAW
MARIE-CHRISTINE ROUSSET
Affiliation:
L.R.I, U.R.A C.N.R.S., University of Paris-Sud, Building 490, 91405 Orsay Cedex, France. E-mail: [email protected]
SUSAN CRAW
Affiliation:
SCMS, The Robert Gordon University, Aberdeen AB25 1HG, Scotland, UK. E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 12 , Issue 01 , January 1997 , pp. 95 - 98
Copyright
© 1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)