A systematic approach to generate B preconditions: application to the database domain.

Published in: Softw. Syst. Model. (2009)

Keyphrases

database
databases
database systems
automatically generate
data sets
neural network
artificial intelligence
relational databases
domain knowledge
domain specific
decision support
application specific
domain independent
domain experts
query language
data model
learning algorithm
machine learning