Requirements Validation by Lifting Retrenchments in B.

Michael Poppleton Richard Banach

Published in: ICECCS (2004)

Keyphrases

wavelet transform
user requirements
functional requirements
genetic algorithm
real time
databases
information retrieval
artificial intelligence
decision making
three dimensional
lower bound
relational databases
application specific
real time systems