Software Tools. Specification Methods Design requires a good notation to record and discuss alternate possibilities: –The default language for specifications.