5.2.3.2.2 Goal-Oriented Requirements Engineering
In goal-oriented requirements engineering, a goal is an objective that the
software under consideration should achieve. Goal formulations thus refer
to intended properties to be ensured. Goals may be formulated at different