Built from template.html formal methods from FOLDOC foldoc.org: wombat.doc.ic.ac.uk & foldoc.doc.ic.ac.uk:

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.

Last updated: 1996-05-15

Nearby terms:

Formal Description Techniqueformal methodsFormal Object Role Modeling Language

Try this search on Wikipedia, OneLook, Google


if HTMLCOMMENTBOX
Loading

end HTMLCOMMENTBOX footer
content
left
left-mid right
container Quantcast Google Analytics