Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 55: |
Línea 55: |
|
| |
|
| ''El modelo de Jackson separa entre aserciones prescriptivas y descriptivas. Explique como influye esta distinción a la hora de realizar la validación y verificación del documento de especificación.'' | | ''El modelo de Jackson separa entre aserciones prescriptivas y descriptivas. Explique como influye esta distinción a la hora de realizar la validación y verificación del documento de especificación.'' |
|
| |
|
| |
| Verificacion es la formula esa pseudologica. Validacion son preguntas medio en el aire. Esta en la diapo de abajo a la derecha de la pag 4 de la teorica de fundamentos de IR:
| |
|
| |
|
| |
| • Permite formular dos criterios de verificación
| |
|
| |
| – Los requerimientos (R) de la máquina satisfacen los objetivos (G) dadas las suposiciones acerca del dominio (D)? R, D |= G
| |
|
| |
| – El programa (P) ejecutando sobre el hardware (C) satisface los requerimientos (R)? P, C |= R
| |
|
| |
| • Permite formular criterios de validación
| |
|
| |
| – Tenemos todos los objetivos? Son todos válidos?
| |
|
| |
| – Todos las propiedades del dominio son verdaderas?
| |
|
| |
| – Todas las presunciones acerca del dominio son razonables?
| |
|
| |
|
| == Ejercicio 6 == | | == Ejercicio 6 == |