x Specification involves the production of a
series of documents that capture the system and
software requirements in order to support their
systematic review, evaluation, and approval.
x Management of requirements is an ongoing
activity that starts from the moment the first
requirement is elicited and ends only when the
system is finally decommissioned. Requirements
management includes software configuration
management, traceability, impact analysis, and
version control.
x Validation occurs throughout the other four
activities. It involves ensuring that the product
meets stakeholders’ requirements through
activities such as formal and informal reviews and
for more complex or critical systems through the
use of formal verification techniques.