Try Our Apps


WATCH "Lumbersexual"

formal methods

formal methods in Technology
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
Examples from the Web for formal methods
Historical Examples
  • Here all schools of composition are thoroughly studied, and the rigid and formal methods of the Conservatoire abandoned.

    Music: An Art and a Language Walter Raymond Spalding

Word of the Day

Word Value for formal

Scrabble Words With Friends

Nearby words for formal methods