follow Dictionary.com

9 Q Without U Words for Words With Friends

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 (http://comlab.ox.ac.uk/archive/formal-methods.html).
(1996-05-15)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for formal

11
13
Scrabble Words With Friends