Check out the new USENIX Web site. next up previous
Next: Redundancy and Repetition Up: A Software Engineer's View Previous: Over Specification

Under Specification -- too abstract

Under-specification is easy to identify as it usually corresponds to the expression of an idealistic goal, leaving the reader with no idea of how one could check whether a given system actually meets the goal, or even if such a system could exist.

An example of this is standard 65:

``The presentation of the voting options shall be optimised for the voter.`''



margaret 2006-05-25