In software engineering, the desired effects the software is intended to have on the environment are called requirements. The role of the sub-discipline of software engi- neering called requirements engineering is to elicit, make explicit and analyze these requirements in order to produce a specification that describes the behavior of a (com- puter-based) machine.