Abstract:

1. Rupp and Goetz observe that some, but not all, requirement
specification sentences involving universal quantification, are
dangerous because they are usually not true. Jackson and Zave provide a
classification of requirement specification sentences into indicative
and optative sentences. It is observed that the dangerous sentences
involving universal quantifiers are all indicative.

Joint work with Erik Kamsties, Fraunhofer IESE

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