1
un conjunto de técnicas prácticas que pueden utilizarse durante el proceso de desarrollo de software.
2
lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.
3
la especificación de los valores de salida de la función.
4
especificación del valor de una entrada a la función
5
expresión verdadera o falsa y cuyas variables son los parámetros de la función a especificar. Paginas
6
expresion utilizada en los predicados
7
valor monetario de un software que depende de las especificaciones