Go to MSN Homeencarta®
Dictionary
Find
in
Dictionary
Thesaurus
Translations
ABCDEFGHIJKLMNOPQRSTUVWXYZ
Click to move up the list of words
formant
format
formate
formation
formation dance
formation flying
formative
formative assessment
forme
Formentera
former (1)
former (2)
Former Yugoslav Republic of Macedonia
formerly
formestane
formfitting
formic
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