Importancia del control de los materiales
Descripciones bien definidas.- Un lenguaje debe estar bien definido, ser claro, plantear las reglas requeridas para su utilización, sin ambigüedades.
Semántica.- El lenguaje debe estar definido semánticamente, debe describir de manera lo que significa una construcción particular, es decir que una expresión determinada solo tenga una única interpretación de manera clara.
Comprobabilidad.- Los lenguajes deben tener un compilador que traduzca de manera correcta el código fuente a lenguaje maquina y que la maquina ejecute el programa de manera que se obtenga el resultado deseado.
Confiabilidad.- El software es confiable cuando se comporta de acuerdo a lo planeado, entrega los resultados