© Gerald Kotonya and Ian Sommerville Methods for Requirements Engineering.
Methods for requirements engineering. Objectives To explain the role of methods and techniques in requirements engineering To introduce data-flow modelling.
Effective Abstractions for Defining and Verifying Processes
