Find out more about this
Gesmer Updegrove has represented more than 184 standards consortia and open source foundations, including:
View Full Client List
Useful Links

Press Center Sitemap


Text Size:
Default  Large

RSS Feeds

Bookmark and Share

Standards <Meta>Library

Process of Standard Setting

Technical Process

(Select a New Topic or Category)

Title: "The Case for Formal Methods in Standards"
Authors: David Blyth
Cornelia Boldyreff
Clive Ruggles
Nik Tetteh-Lartey
Source: Software, IEEE, Volume: 7 , Issue: 5 , Pages: 65 - 67
Publication Date: September 1990
Free/Fee: Payment or membership required
Reads: 7275
Abstract: It is argued that applying formal methods to standards making would result in more accurate, more understandable, and more useful standards. The main benefit seen in using formal methods in a standard's development and expression is improving the standard's quality. In the early stages of standards development, formal methods can result in considerable clarification during the development and expression of the underlying conceptual model for a standard or family of related standards. They can also define precisely the relation among the components of both the standard being developed and other standards. Later in the development process, formal methods can improve a standard's quality during its use by letting it be expressed 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 applying formal methods in the standardization process are provided.
Link: Full Text