Consistency and Refinement for Partial Specification in Z.

Eerke A. Boiten John Derrick Howard Bowman Maarten Steen

Published in: FME (1996)

Keyphrases

high level
formal specification
specification language
genetic algorithm
real world
query refinement
global consistency
data sets
information retrieval
user defined
global constraints
consistency checking
refinement process