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).
- 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)
[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)