Metodologia maps

Ya estamos en capacidad de dar solución a un problema utilizando una metodología, es este caso aplicaremos la metodología MAPS desde el principio al fin.

El Dialogo:

Deseamos calcular elpromedio de las notas de los estudiantes de un curso de Introducción a la programación, El promedio se va a realizar para cada estudiante individualmente

Los datos de entrada serán introducidos por elteclado, hasta que se desee finalizar la introducción de los datos utilizando un valor especifico para tal fin.
Después de haber introducido los valores por el teclado se procede a calcular elpromedio de la nota para el estudiante. Terminado este proceso se presenta el promedio de la nota por la pantalla, permitiendo elegir para ingresar otros datos de entrada para otro estudiante o permitirsalir del sistema.
Las notas de los estudiantes estarán comprendidas entre 1 y 20 puntos, la cantidad de estudiantes no esta limitada, se podrán calcular todos los promedios de notas que se deseenrealizar o hasta salir del sistema.
Tenemos como datos de entrada: las calificaciones de los estudiantes.
Datos de salida: el promedio de las calificaciones.

Las Especificaciones:
Si denotamos porNota1 la primera calificación, Nota2 la segunda y asi sucesivamente. A continuación se presenta una descripción precisa del problema, en forma de precondiciones y poscondiciones:

{pre: entrada =(Nota1, Nota2, ..., Nota n) ^ n>0 ^ i �{1,..., n} : Notai �

{post: entrada = �^
salida = Sum i �{1,..., n} : Notai / n

Llamamos a Sum la suma de las calificaciones , n elnúmero de las calificaciones y PM el promedia de las calificaciones. Por lo tanto Sum,n y PM son variable del problema.
La forma de presentar la precondición y poscondición es el lenguaje de lalógica de predicados. Cuando se utiliza la lógica de predicados de esta forma, se dice que realizamos asertos acerca de los estados inicial y final del proceso.
En el ejemplo no se deja duda sobre la...