``What, Not How?'': The Case of Specifications of the New York Bagel

Daniel M. Berry

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


This talk explores the validity of the advice to specify what, not how for requirements, including quality requirements. In the domain of the New York bagel, it may be necessary to say How to make the What precise enough.