[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Daniel M Berry & Erik Kamsties
- The syntactically dangerous ALL and Plural in Specifications
- IEEE Software Magazine V22n1(Jan /Feb 2005)pp55-57
- =IDEA AMBIGUITY LOGIC LANGUAGE SPECIFICATION CS565
- Words to suspect: "only", "all", "also", "each".
- Use "each" when describing a property of the individual members of a set.
- Use "all" for shared properties across a set.
- Can use simple logic to clarify an ambiguity.
- All the lights in the room have a single on-off switch.
- Each light has its own switch.
- For all y:lights_in_room, one x: switch (x is on_off_switch_for y).
- All the lights share a common switch.
- For one x: switch, all y:lights_in_room (x is on_off_switch_for y).
(End of Net)
- Similarly for plurals: "Students enroll in six courses" vs "Students enroll in hundreds of courses".
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]