Options
2000
Conference Paper
Title
The Dangerous "All" in Specifications
Abstract
Rupp and Götz 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.