formal methods
<mathematics, specification> Mathematically based techniques for the specification, development and verification of software and hardware systems. Referentially transparent languages are amenable to symbolic manipulation allowing program transformation (e.g. changing a clear inefficient specification into an obscure but efficient program) and proof of correctness. Oxford FM archive. (1996-05-15) | ||||
Search Dictionary:
Formal methods definition was found in categories: Language, Idioms & Slang(1) Encyclopedia(1)
Formal methods Definition from Language, Idioms & Slang Dictionaries & Glossaries
| hEnglish - advanced version |
formal methods
formal methods
mathematically based techniques for the specification, development and verification of software and hardware systems.
formal methods
mathematically based techniques for the specification, development and verification of software and hardware systems.
Formal methods Definition from Encyclopedia Dictionaries & Glossaries
| Wikipedia English - The Free Encyclopedia |
Formal methods
In computer science and software engineering, formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analyses can contribute to the reliability and robustness of a design. However, the high cost of using formal methods means that they are usually only used in the development of high-integrity systems, where safety or security is important.
| See more at Wikipedia.org... |