Gray vs. grey? What's the difference?

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

Word of the Day

Word Value for formal

Scrabble Words With Friends