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 (http://comlab.ox.ac.uk/archive/formal-methods.html).
(1996-05-15)
Read Also:
- Formal mode
noun 1. (philosophy) the style in which words are explicitly mentioned rather than used of their subject matter. “Fido” is a dog’s name is in the formal mode, while “Fido is a dog” is in the material mode See also mention (sense 7)
- Foretopman
[fawr-top-muh n, fohr-; Nautical fawr-tuh p-muh n, fohr-] /ˌfɔrˈtɒp mən, ˌfoʊr-; Nautical ˈfɔr təp mən, ˈfoʊr-/ noun, plural foretopmen. 1. a member of a ship’s crew stationed on the .
- Formal object role modeling language
language (FORML) A CASE language? (1997-04-12)
- Formal review
project A technical review conducted with the customer including the types of reviews called for in DOD-STD-2167A (Preliminary Design Review, Critical Design Review, etc.) (1996-05-15)
- Formalwear
[fawr-muh l-wair] /ˈfɔr məlˌwɛər/ noun 1. clothing designed for or customarily on occasions, as tuxedos and evening gowns.