Title: An illustration of verification and validation in the modelling phase of KBS development
Authors: Vanthienen, Jan ×
Mues, Christophe
Aerts, A #
Issue Date: 1998
Publisher: Elsevier science bv
Series Title: Data & knowledge engineering vol:27 issue:3 pages:337-352
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. (C) 1988 Published by Elsevier Science B.V. All rights reserved.
ISSN: 0169-023X
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Research Center for Management Informatics (LIRIS), Leuven
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science