Development
Once a formal specification has been produced, the specification may be used as a guide while the concrete system is developed during the design process (i.e., realized typically in software, but also potentially in hardware). For example:
- If the formal specification is in an operational semantics, the observed behavior of the concrete system can be compared with the behavior of the specification (which itself should be executable or simulateable). Additionally, the operational commands of the specification may be amenable to direct translation into executable code.
- If the formal specification is in an axiomatic semantics, the preconditions and postconditions of the specification may become assertions in the executable code.
Read more about this topic: Formal Methods, Uses
Famous quotes containing the word development:
“Every new development for the last three centuries has brought men closer to a state of affairs in which absolutely nothing would be recognized in the whole world as possessing a claim to obedience except the authority of the State. The majority of people in Europe obey nothing else.”
—Simone Weil (1909–1943)
“I have an intense personal interest in making the use of American capital in the development of China an instrument for the promotion of the welfare of China, and an increase in her material prosperity without entanglements or creating embarrassment affecting the growth of her independent political power, and the preservation of her territorial integrity.”
—William Howard Taft (1857–1930)
“The Cairo conference ... is about a complicated web of education and employment, consumption and poverty, development and health care. It is also about whether governments will follow where women have so clearly led them, toward safe, simple and reliable choices in family planning. While Cairo crackles with conflict, in the homes of the world the orthodoxies have been duly heard, and roundly ignored.”
—Anna Quindlen (b. 1952)