Daniel M. Berry

Cheriton School of Computer Science
University of Waterloo
Waterloo, ON, Canada

Abstract:

This talk explores the validity of the advice to specify what and not how for requirements, including quality requirements. In several specific domains, it may be necessary to say how to make the what precise enough.

Keywords: What, How, Requirements Specifications, Quality Requirements, Text Formatting, Security, Robustness, Safety, Survivability, Feature Conflicts, Bagels.