Go to MSN Homeencarta®
Dictionary
Find
in
Dictionary
Thesaurus
Translations
ABCDEFGHIJKLMNOPQRSTUVWXYZ
Click to move up the list of words
forint
fork
fork over
fork pocket
forkball
forked lightning
forked tongue
forklift
forklift truck
forklift upgrade
forlorn
forlorn hope
-form
form
Form 1099
Form 10K
Form 10Q
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