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.
(1996-05-15)
Nearby terms:
FORMAL « formal argument « Formal Description
Technique «
formal methods » Formal Object Role Modeling
Language » formal review » FORMAT-Fortran
|