formal methods
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 .
Last updated: 1996年05月15日
Nearby terms:
Formal Description Technique ♦ formal methods ♦ Formal Object Role Modeling Language
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading