modelo desarrollo forma de sistema

UNIVERSIDAD DE PANAMÁ
CENTRO REGIONAL UNVERSITARIO DE PANAMÁ OESTE
FACULTAD DE INFORMÁTICA, ELECTRÓNICA Y COMUNICACIÓN
ESCUELA DE INGENIERÍA EN INFORMÁTICA


CURSO:
ANALISIS Y DISEÑO DESISTEMA


TITULO:
MODELO DE DESARROLLO FORMAL DEL SISTEMA


PRESENTADO A:
PROFESORA: MILAGROS CASTILLO


ELABORADO POR:
ARACELYS ESPINOSA CED: 7-704-1746
YESSENIA WOLOCHOWICZ CED



 AÑO: 2013



RESUMEN GRUPO Nº 4

QUE ES EL MODELO FORMAL DE SISTEMA
R. se usa para referirse a cualquier actividad relacionada con representaciones matemáticas del software, incluyendo laespecificación formal de sistemas, análisis y demostración de la especificación, el desarrollo transformacional y la verificación de programas.
Se basan en la especificación formal del sistema, a través deuna notación matemática, y en una serie de transformaciones de esta especificación en programas.


CARACTERÍSTICAS DEL DESARROLLO FORMAL DE SISTEMA
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 del sistema.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), ladocumentación es generada automáticamente y el mantenimiento es realizado por repetición del proceso (no mediante “parches” sobre la implementación).
EXISTEN CUATRO RAZONES PRINCIPALES:
1. Una ingenieríadel software exitosa. El uso de otros métodos de ingeniería del software como los métodos estructurados, gestión de configuraciones y ocultación de la información en el diseño del software y procesosde desarrollo ha conducido a mejoras en la calidad del software.

2. Cambios en el mercado. En la década de los 80, la calidad del software fue vista como un problema clave de la ingeniería del...