The specification of requirements is the basis for developing and verifying a software system. Requirements describe in detail which functionality and which nonfunctional characteristics of the system (for more details please check ISO 9126) will be implemented in a specific module.