MARCO TEORICO

CICLO DE VIDA DEL SOFTWARE

El término ciclo de vida del software describe el desarrollo de software, desde la fase inicial hasta la fase final. El propósito de este programa es definir las distintas fases intermedias que se requieren para validar el desarrollo de la aplicación, es decir, para garantizar que el software cumpla los requisitos para la aplicación y verificación de los procedimientos de desarrollo: se asegura de que los métodos utilizados son apropiados. 

Estos programas se originan en el hecho de que es muy costoso rectificar los errores que se detectan tarde dentro de la fase de implementación. El ciclo de vida permite que los errores se detecten lo antes posible y por lo tanto, permite a los desarrolladores concentrarse en la calidad del software, en los plazos de implementación y en los costos asociados.

Componentes comerciales y reutilización. Generando la riqueza de modelos y sub-modelos de patrones que algunos textos clasifican de forma lineal y agrupada como “modelos de ciclos de vida” 

FLUJO DEL PROCESO

MODELO DE CASCADA

MODELO EN V

 

MODELO INCREMENTAL

PROTOTIPO

ESPIRAL

MODELO DEL PROCESO CONCURRENTE

 PROCESO UNIFICADO

DESARROLLO BASADO EN COMPONENTES

Los componentes comerciales de software general (COTS, por sus siglas en inglés), desarrolla- dos por vendedores que los ofrecen como productos, brindan una funcionalidad que se persigue  con interfaces bien definidas que permiten que el componente se integre en el software que se va a construir. El modelo de desarrollo basado en componentes incorpora muchas de las características del modelo espiral. Es de naturaleza evolutiva [Nie92] y demanda un enfoque iterativo para la creación de software. Sin embargo, el modelo de desarrollo basado en componentes construye aplicaciones a partir de fragmentos de software prefabricados.
Las actividades de modelado y construcción comienzan con la identificación de candidatos
de componentes.

EL MODELO DE METODOS FORMALES

El modelo de métodos formales agrupa actividades que llevan a la especificación matemática formal del software de cómputo. Los métodos formales permiten especificar, desarrollar y verificar un sistema basado en computadora por medio del empleo de una notación matemática rigurosa.
Ciertas organizaciones de desarrollo de software aplican una variante de este enfoque,que se denomina ingeniería de software de quirófano Cuando durante el desarrollo se usan métodos formales , se obtiene un mecanismo
para eliminar muchos de los problemas difíciles de vencer con otros paradigmas de la ingeniería de software.