formal methods

Computing Dictionary

formal methods definition

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 (
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Previous Definition: formal logic
Next Definition: formal mode
Words Near: formal methods
More from
Synonyms and Antonyms for formal methods
More from
Search for articles containing formal methods
More from Translator Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature