This book presents a disciplined approach to the engineering of high-quality requirements. The approach covers the entire requirements lifecycle and integrates state-of-the-art techniques for requirements elicitation, evaluation, specification, analysis, and evolution. Modeling plays a central role in this approach.