Ecommerce will be unavailable on Cambridge Core for approximately one hour from 18:00 (UK time) on Thursday 29th September - we apologise for any inconvenience.
Published online by Cambridge University Press: 04 April 2001
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.