Formal Description Technique
Método de especificación basado en un lenguaje descriptivo que utiliza reglas rigurosas e inequívocas tanto en lo que respecta al desarrollo de las expresiones en el lenguaje (sintaxis formal) como a la interpretación del significado de dichas expresiones (semántica formal).