A framework for the elicitation, specification, formalization and understanding of requirements. - View it on GitHub