Word:

formal methods

(mathematics, specification)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.
Browse
form family
form feed
form function
form genus
form letter
form of government
form-only
Forma legalis forma essentialis
Forma non observata
FORMAC
Formal
formal argument
Formal cause
Formal Description Technique
formal garden
formal logic
-- formal methods --
Formal Object Role Modeling Language
formal review
Formaldehyde
Formalin
formalisation
formalise
formalised
Formalism
Formalist
formalistic
formalities
Formality
formalization
Formalize
formalized
Formally
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home