Title :
The syntactically dangerous all and plural in specifications
Author :
Berry, Daniel M. ; Kamsties, Erik
Author_Institution :
Comput. Sci. & Software Eng., Waterloo Univ., Ont., Canada
Abstract :
The items on the private check list are specific problems involving the correct use of the natural language in which the RS is written. It includes incorrect grammar, incorrect word placement, and all kinds of ambiguities. The lists of grammatical and word-placement problems are similar despite the difference in the natural languages involved. The syntactic problems are symptoms of ambiguities in meaning - a grammatical problem occurs when part of a sentence disagrees with another, and each choice in the disagreement corresponds to a different meaning. The use of plural to describe a property of elements of a set or of sets makes it difficult to determine whether the property is that of each element or of the whole set. A specification inspector can certainly search for plural constructions in a specification to examine each for its danger. Best of all is for a specification writer not to write plural statements when describing properties of each element of a set.
Keywords :
computational linguistics; formal specification; grammars; natural languages; grammatical problem; natural language; plural statement; private check list; requirement specification; syntactic problems; word-placement problem; Inspection; Insurance; Mathematics; Natural languages; Software quality; Switches;
Journal_Title :
Software, IEEE