The Dangerous 'All' in Specifications

Authors:
Daniel M. Berry;Erik Kamsties
Affiliations:
Computer Science Department, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada;Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, D-67661 Germany
Venue:
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Year:
2000

Citing 1
Cited 2

Software requirements & specifications: a lexicon of practice, principles and prejudices

Software requirements & specifications: a lexicon of practice, principles and prejudices

The Syntactically Dangerous All and Plural in Specifications

IEEE Software
On the Systematic Analysis of Natural Language Requirements with CIRCE

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.