Expressing Program Requirements Using Refinement Lattices.

David Stuart Robertson Jaume Agustí-Cullell Jane Hesketh Jordi Levy

Published in: ISMIS (1993)

Keyphrases

neural network
computer programs
rough sets
program execution
computer vision
information systems
website
relational databases
artificial neural networks
knowledge representation
design principles
functional requirements
refinement process