Tema- Tipo Ciencia



Cuadro De Implantación De Sistemas
Etapa
Descripción
1.- Adiestramiento a usuarios
Debe de ser a nivel de escuela; se debe llevar a cabo usando los manuales e instructivos obtenidos del diseño de sistemas.
2.- Prueba del sistema por usuarios
Es la actividad que reafirma a cada uno de ellos lo que aprendió en el adiestramiento. Es muy importante que ellos produzcan los datos de pruebade acuerdo con el plan de la misma.
3.- Aprobación de resultados de la prueba
La aprobación de los resultados de la prueba la deberán hacer los usuarios a la luz de los que su grupo de prueba les reporte al finalizar el tiempo de prueba.
4.- Conversión al sistema
Consiste en la implantación de los procedimientos contenidos en los diferentes manuales e instructivos obtenidos en el paso deldiseño de sistemas.
5.- Liberación del sistema
Consiste en la entrega formal del sistema al usuario por parte de los comités de factibilidad y técnico.

















UNIDAD II
EJEMPLO DE PROGRAMACION

El programador que cuenta con conocimientos de matemática, propone
resolver el problema sólo para números reales que no sean negativos. El
usuario acepta la propuesta, con locual el contrato entre ambos (la especificación)
queda establecido como sigue:
El programador se compromete a construir una función sqrt : Real → Real, tal
que:
(∀ x : 0 ≤ x : (sqrt.x)2 = x)
Puede pensarse a la especificación como una ecuación a resolver donde la incógnita
es sqrt, es decir, el problema es encontrar una función sqrt de modo que
satisfaga la especificación. Nótese que estafunción no necesariamente es única,
dado que hay dos soluciones posibles para la raíz cuadrada de un número estrictamente
positivo. Esto da lugar a que haya infinitas soluciones, dado que en
principio, pueden elegirse determinados valores para los cuales la raíz debe ser
positiva y otros para los cuales debe ser negativa.
Una forma estilizada de escribir la misma especificación es separar laprecondición
de la postcondición. La primera condición establece las restricciones que determinan
los datos aceptables, mientras que la segunda establece las propiedades
que serán satisfechas por el resultado. En nuestro ejemplo, podemos escribir:
pre : 0 ≤ x
post : (sqrt.x)2 = x
178 10. EL PROCESO DE CONSTRUCCIÓN DE PROGRAMAS
Nótese que la cuantificación de la variable queda implícita. Estoserá una práctica
usual. En general se supondrá que las variables que aparecen como argumentos
de la función especificada están cuantificadas universalmente, siendo esta cuantificación
acotada al conjunto de valores definidos por el tipo de la función. La
especificación original puede entonces escribirse simplemente así:
0 ≤ x ⇒ (sqrt.x)2 = x














Un fenómeno usualocurre cuando el programador por alguna razón
no puede satisfacer la especificación acordada. Por ejemplo, no será posible para
el programador encontrar una solución exacta de sqrt. 2, debido a que cualquier
sistema de cómputo en el cual implemente su programa, sólo manejará aproximaciones
finitas a los números irracionales. El problema aquí, es que la especificación
requiere que la soluciónsea exacta, por lo tanto el programador tiene que
cambiar el contrato con el usuario. Una posible especificación es:
pre : 0 ≤ x
post : |(sqrt.x)2 − x| < ǫ
donde ǫ es una constante a ser negociada.
Escrita de esta manera es obvio que la especificación es más favorable para el programador,
pues la postcondición es más débil y por lo tanto más fácil de satisfacer.
Si escribimos esta nuevaespecificación:
0 ≤ x ⇒ _
_(sqrt.x)2 − x_
_ < ǫ
es claro que la especificación del primer intento implica ésta.




Codificar un programa

Escribir un programa involucra una serie de procesos separados.

Ejercicio:

1) El proceso de escribir un programa involucra seis (6) pasos. Relaciona las columnas de los pasos en el orden adecuado.

Al escribir un programa, el programador debe...