Publicado el 17 de Enero del 2017
1.061 visualizaciones desde el 17 de Enero del 2017
766,0 KB
18 paginas
Creado hace 15a (08/10/2008)
2.4. Especificaciones formales constructivas
61
incluyendo el anterior comportamiento como aserto invariante del tipo Pila, el resultado
final de la expresión sería: “La pila está vacía”.
2.4. Especificaciones formales constructivas
En una especificación formal constructiva, u operacional, el significado de las ope-
raciones se establece mediante las cláusulas de precondición y postcondición. Al con-
trario de las especificaciones algebraicas –donde las operaciones se definen a través de
las relaci...
Crear cuenta
62 visualizaciones durante los últimos 90 días