An Illustration of Verification and Validation in the Modelling Phase of KBS Development.
Jan VanthienenChristophe MuesAnn AertsPublished in: Data Knowl. Eng. (1998)
Keyphrases
- knowledge based systems
- knowledge base
- development process
- software engineering
- neural network
- information systems
- rapid development
- model checking
- knowledge acquisition
- formal verification
- formal methods
- development environment
- st century
- multi agent systems
- database systems
- computer vision
- information retrieval
- machine learning