modelo desarrollo forma de sistema

http://modelo-desarrollo-formal-de-sistemas.wikispaces.com/
MODELO-DESARROLLO- FORMAL-DE-SISTEMAS
Este modelo se basa en transformaciones formales de los requisitos hasta llegar a un programa ejecutable. 
La Figura ilustra un paradigma ideal de programación automática. Se distinguen dos fases globales: especificación (incluyendo validación) y transformación. Las características principalesde este paradigma son: la especificación es formal y ejecutable constituye el primer prototipo del sistema), la especificación es validada mediante prototipación. Posteriormente, a través de transformaciones formales la especificación se convierte en la implementación del sistema, en el último paso de transformación se obtiene una implementación en un lenguaje de programación determinado. , elmantenimiento se realiza sobre la especificación (no sobre el código fuente), la documentación es generada automáticamente y el mantenimiento es realizado por repetición del proceso (no mediante parches sobre la implementación). 
Observaciones sobre el desarrollo formal de sistemas: 
Permite demostrar la corrección del sistema durante el proceso de transformación. Así, las pruebas que verifican lacorrespondencia con la especificación no son necesarias. 
Es atractivo sobre todo para sistemas donde hay requisitos de seguridad y confiabilidad importantes. 
Requiere desarrolladores especializados y experimentados en este proceso para llevarse a cabo.

PARA EL POWER POINT
1- MODELOS DE DESARROLLO DE SOFTWARE
Desarrollo Formal de Software
Consta de dos (2) fases globales:especificación (incluyendo validación) y transformación.
Permite demostrar la correctitud del sistema durante el proceso de transformación. Así, las pruebas que verifican la correspondencia con la especificación no son necesarias.
Es atractivo sobre todo para sistemas donde hay requisitos de seguridad y confiabilidad importantes.
Requiere desarrolladores especializados y experimentados en este procesopara llevarse a cabo.


2- MODELOS DE DESARROLLO DE SOFTWARE
Ciclo de Vida en el Desarrollo Formal de SW



3- Características del Desarrollo Formal de SW
La especificación es formal y ejecutable, constituye el primer prototipo del sistema.
La especificación es válida mediante la prototipacion.
A través de transformaciones formales, la especificación se convierte en la implementación delsistema. En el último paso de transformación se obtiene una implementación en un lenguaje de programación determinada.
El mantenimiento se realiza sobre especificaciones (no sobre el código fuente), la documentación es generada automáticamente y el mantenimiento es realizado por repetición del proceso (no mediante “parches” sobre la implementacion).http://servidor-iif-iet.upemor.edu.mx/virtual/courses/SEXTOAINGENIERIADESO/document/Unidad_I/Matriz_de_sesiones_IS__Mayo_Agosto_2010.pdf (para buscar información de desarrollo formal de sistemas)
c. Desarrollo formal de sistemas (modelo formal de sistemas)
Se basa en la transformación matemática formal de una especificación del sistema a un programa ejecutable.
Se basa en la existencia de un número significante de componentesreutilizables.
Se enfoca en integrar estos componentes en el sistema más que en desarrollarlos.

Referencias bibliográficas:
1.Roger S. Pressman, 2002. INGENIERÍA DE SOFTWARE. Un
enfoque práctico. Ed. McGraw-Hill. Quinta edición. Madrid,
España.
2.Ian Sommerville, 2002. INGENIERÍA DE SOFTWARE. 6a
Edición. Ed. Addison Wesley.
3.Manual de la asignatura.

Modelo de Métodos Formales

METODOSFORMALES

La denominación métodos formales se usa para referirse a cualquier actividad relacionada con representaciones matemáticas del software, incluyendo la especificación formal de sistemas, análisis y demostración de la especificación, el desarrollo transformacional y la verificación de programas. Todas estas actividades dependen de una especificación formal del software.
Una especificación...