Premium
1.3.3 Are Formal Methods Ready for Prime Time?
Author(s) -
Ankrum T. Scott
Publication year - 2000
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2000.tb00387.x
Subject(s) - executable , computer science , programming language , formal methods , formal specification , formal language , refinement , software engineering , prime (order theory) , mathematics , combinatorics
Abstract Formal Methods is a term used to describe the use of a formal language for the specification of a software product at some level. The use of a formal language allows requirements to be specified more crisply and less ambiguously than a textual document. It can also allow the developers to formally prove that an implementation meets the specified requirements. Some formal languages can even be transformed into executable code. The use of formal methods is explored for large software projects in commercial enterprises, government, and the military. A comparison is made of the attributes and results of these projects. A table at the end supports the conclusion that formal methods can be successful on a large scale.