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.>
Conference Paper
Fraunhofer IESE ()
universal quantifier; indicative sentence; optative sentence

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.