Blyth, David; Boldyreff, Cornelia; Ruggles, Clive; … - 1990
improving the standard's quality. In the early stages of standards development, formal methods can result in considerable … clearly, unambiguously, and concisely in a way that natural language does not allow. Finally, formal methods can aid standards … development at the maintenance stage, for example, by allowing the adequacy of a proposed change to be proved. Guidelines for …