Title :
The dangerous “All” in specifications
Author :
Berry, Daniel M. ; Kamsties, Erik
Author_Institution :
Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
Abstract :
Rupp and Gotz (see CONQUEST-1, 1st Conf. Quality Engineering in Software Technology, Nurnberg, Germany, 1997) observe that some, but not all, requirement specification sentences involving universal quantification, are dangerous because they are usually not true. Jackson and Zave (see Proc. Int. Symp. Requirements Engineering, IEEE Computer Society, p.56-64, 1993) 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
Keywords :
formal specification; dangerous sentences; indicative sentence; optative sentence; requirement specification sentences; universal quantification; Computer science; Concrete; Engines; Insurance; Mood; National security; Natural languages; Robustness;
Conference_Titel :
Software Specification and Design, 2000. Tenth International Workshop on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7695-0884-7
DOI :
10.1109/IWSSD.2000.891140
