MINIESPECIFICACIONES
miniespecificación
La ME describe las reglas sobre cómo realizar el proceso para transformar las entradas en salidas.
La ME indica el proceso a realizar, la transformación de datos, no el algoritmo (que se selecciona en la etapa de diseño).
Lenguaje estructurado
Tablas de decisión
Árboles de decisión
Pre y post-condiciones (son alternativas no excluyentes)
Vocabulario (restringido) de una lengua (español, inglés, etc.)
Verbos imperativos
Términos definidos en el DD
Palabras reservadas para formulación lógica (mayúsculas)
Sintaxis de la programación estructurada
Verbos imperativos
Términos definidos en el DD
Palabras reservadas para formulación lógica (mayúsculas)
Sintaxis de la programación estructurada
*Los objetos de una ME (sujetos de las sentencias) serán términos del DD o bien términos locales
*Los términos locales se definen explícitamente dentro de una ME, y son conocidos, relevantes y significativos sólo dentro de esa ME (por tanto, no es imprescindible su inclusión en el DD)
*Ejemplo: variables utilizadas para cálculos intermedios, como sumas parciales, dentro de un proceso
