van Lamsweerde

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. Meer