Operations for evolving specifications.

Sudin Bhat Kanth Miriyala

Published in: KBSE (1993)

Keyphrases

databases
data mining
formal specification
database
artificial intelligence
case study
bayesian networks
specification language
operational semantics
arithmetic operations
boolean operations
written in natural language