Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The Dangerous "All" in Specifications

 
: Berry, D.M.; Kamsties, E.

:

IEEE Computer Society:
10th International Workshop on Software Specification and Design, IWSSD-10 2000. Proceedings
Los Alamitos, Calif.: IEEE Computer Society, 2000
ISBN: 0-7695-0884-7
ISBN: 0-7695-0886-3
pp.191-193 : Lit.
International Workshop on Software Specification and Design (IWSSD) <10, 2000, San Diego/Calif.>
English
Conference Paper
Fraunhofer IESE ()
universal quantifier; indicative sentence; optative sentence

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.

: http://publica.fraunhofer.de/documents/N-8975.html