[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BerryKamsties05

  1. Daniel M Berry & Erik Kamsties
  2. The syntactically dangerous ALL and Plural in Specifications
  3. IEEE Software Magazine V22n1(Jan /Feb 2005)pp55-57
  4. =IDEA AMBIGUITY LOGIC LANGUAGE SPECIFICATION CS565
  5. Words to suspect: "only", "all", "also", "each".
  6. Use "each" when describing a property of the individual members of a set.
  7. Use "all" for shared properties across a set.
  8. Can use simple logic to clarify an ambiguity.
  9. All the lights in the room have a single on-off switch.
    Net
    1. Each light has its own switch.
    2. For all y:lights_in_room, one x: switch (x is on_off_switch_for y).
    3. All the lights share a common switch.
    4. For one x: switch, all y:lights_in_room (x is on_off_switch_for y).

    (End of Net)

  10. Similarly for plurals: "Students enroll in six courses" vs "Students enroll in hundreds of courses".

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]