Correctness in hierarchical knowledge-based requirements.

Victor R. L. Shen

Published in: IEEE Trans. Syst. Man Cybern. Part B (2000)

Keyphrases

expert systems
hierarchical structure
coarse to fine
user requirements
database
real time
case study
database systems
bayesian networks
evolutionary algorithm
real time systems