Constraints for Behavioural Specifications.

Fernando Orejas Pilar Nivela

Published in: ADT (1990)

Keyphrases

constraint satisfaction
data sets
databases
high level
geometric constraints
database
neural network
genetic algorithm
search algorithm
evolutionary algorithm
constraint programming
finite state machines
formal specification
multiple constraints
constraint sets