This book discusses how to complement use cases with Quality Function Deployment (QFD), Software Reliability Engineering (SRE), Model-Based Specification (preconditions, postconditions and invariants), Requirements Configuration Management, and Projec...