Go to MSN Homeencarta®
Dictionary
Find
in
Dictionary
Thesaurus
Translations
ABCDEFGHIJKLMNOPQRSTUVWXYZ
Click to move up the list of words
Form 10Q
form class
form criticism
form genus
form letter
form word
formal
formal logic
formal methods
formaldehyde
formalin
formalise
formalism
formality
formalize
formalwear
formant
Click to move down the list of words
Also available:

World English Dictionary
Dictionnaire Français

formal methods
for·mal meth·ods


plural noun 
Definition:
 
methods for evaluating computer systems: methods of specifying and evaluating computer systems using techniques from mathematics and logic
Encarta® World English Dictionary [North American Edition] © & (P)2009 Microsoft Corporation. All rights reserved. Developed for Microsoft by Bloomsbury Publishing Plc.
Advertisement
© 2009 Microsoft