DocumentCode
2722307
Title
The dangerous “All” in specifications
Author
Berry, Daniel M. ; Kamsties, Erik
Author_Institution
Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
fYear
2000
fDate
2000
Firstpage
191
Lastpage
193
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 2000. Tenth International Workshop on
Conference_Location
San Diego, CA
Print_ISBN
0-7695-0884-7
Type
conf
DOI
10.1109/IWSSD.2000.891140
Filename
891140
Link To Document