Capítulo II
Para la ingeniería de software el proceso comprende las
tareas que se requieren para realizar un software de alta calidad.
Por eso a medida de los tiempos se han propuestos diferentes
modelos de procesos, cada uno expresando ventajas y desventajas frente a los
demás, teniendo o manteniendo en cuenta fases genéricas en común.
Varios de ellos comprenden nombres como:
- Lineal secuencial
- Construcción de prototipos
- DRA
- Espiral típico
- Espiral WINWIN
- Incremental
- Concurrente
Estos siempre llevando los principios básicos, Análisis, Diseño, Desarrollo, Pruebas,
Implementación y Mantenimiento.
Teniendo en cuenta esto, existen otros modelos de métodos
formales, los cuales comprenden un conjunto de actividades que conducen a
especificaciones matemáticas del software de computadora.
Este mismo permite al desarrollador que especifique, desarrolle
y verifique. Estos a la misma vez tienen costos muy elevados, requieren mucho
tiempo, requieren estudios detallados etc. Por eso son muy seguros y
confiables.
