An illustration of verification and validation in the modelling phase of KBS development


Vanthienen, J., Mues, C. and Aerts, A. (1998) An illustration of verification and validation in the modelling phase of KBS development. Data and Knowledge Engineering, 27, (3), 337-352. (doi:10.1016/S0169-023X(98)80003-7).

Download

Full text not available from this repository.

Description/Abstract

Reliability has become a key factor in KBS development. For this reason, it has been suggested that verification and validation (V&V) should become an integrated part of activities throughout the whole KBS development cycle. In this paper, it will be illustrated how the PROLOGA workbench integrates V&V aspects into its modelling environment, such that these techniques can be of assistance in the process of knowledge acquisition and representation. To this end, verification has to be performed incrementally and can no longer be delayed until after the system has been completed. It will be shown how this objective can be realised through an approach that uses the decision table formalism as a modelling instrument.

Item Type: Article
ISSNs: 0169-023X (print)
Related URLs:
Keywords: verification & validation, decision tables, KBS building tools, knowledge modelling
Subjects: H Social Sciences > HD Industries. Land use. Labor > HD28 Management. Industrial Management
Divisions: University Structure - Pre August 2011 > School of Management
ePrint ID: 36163
Date Deposited: 01 Aug 2006
Last Modified: 27 Mar 2014 18:22
Contact Email Address: jan.vanthienen@econ.kuleuven.ac.be
URI: http://eprints.soton.ac.uk/id/eprint/36163

Actions (login required)

View Item View Item