What's It Mean? ...Reducing Imprecision to Improve Verification

Imprecise language makes understanding and, therefore, software verification more difficult. This article describes techniques for detecting and repairing vague and ambiguous software requirements.