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. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1109/IWSSD.2000.891140 | IWSSD |
Keywords | Field | DocType |
dangerous sentence,requirement specification sentence,universal quantification,universal quantifiers,optative sentence,true,engines,false,insurance,robustness,concrete,national security,formal specification,natural languages,universal quantifier,computer science | Optative mood,Software technology,Computer society,Computer science,Requirements engineering,Formal specification,Natural language,Natural language processing,Artificial intelligence,Universal quantification | Conference |
ISBN | Citations | PageRank |
0-7695-0884-7 | 5 | 1.67 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel M. Berry | 1 | 1091 | 148.76 |
Erik Kamsties | 2 | 353 | 29.67 |