Expressing Program Requirements Using Refinement Lattices.

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

Published in: Fundam. Informaticae (1994)

Keyphrases

computer programs
functional requirements
information systems
user requirements
real time systems
data sets
databases
end users
requirements engineering
refinement process
step wise