Expressing Program Requirements Using Refinement Lattices
RobertsonDave, AgustíJaume, HeskethJane, LevyJordi · Fundamenta Informaticae · 1994
Requirements capture is a term used in software engineering, referring to the process of obtaining a problem description - a high level account of the problem which a user wants to solve. This desc...