Modelo de cascada

Origen
Este modelo fue el
primero en surgir y es la
base de los dems
modelos de ciclo de
vida

caracteristicas
Se debe comprobar el
Software despus de
unirlo y antes de
operarlo.
Es el ms utilizado
Deben desarrollarse
todas las fases
Las fases continan
hasta que los objetivos
se han cumplido

aplicacion
1. Anlisis de
requisitos
2. Diseo del
sistema
3. Diseo del
programa
4. Codificacin
5. Pruebas
6. Verificacin
7. mantenimiento

Modelo en espiral
Origen
caracteristicas
aplicacion
El desarrollo en espiral es
1. Anlisis de
Describe las fases principales de
un modelo de ciclo de vida del desarrollo de software.
requisitos
2. Diseo del sistema
software definido por primera Define las fases primarias
3. Diseo del
vez por Barry Boehm en 1986, esperadas de ser ejecutadas
programa
utilizado generalmente en
durante esas fases.
4.
Codificacin
la Ingeniera de software. Las
Ayuda a administrar el progreso
5. Pruebas
actividades de este modelo se
del desarrollo del software
6. Verificacin
conforman en una espiral, en
Provee un espacio de trabajo
7. mantenimiento
la que cada bucle
para la definicin de un
o iteracin representa un
detallado proceso de desarrollo
conjunto de actividades. Las
de software.
actividades no estn fijadas a
ninguna prioridad, sino que las
siguientes se eligen en funcin
del anlisis de riesgo,
comenzando por el bucle

interior.

Prototipo
caractersticas
Describe las fases principales de
desarrollo de software.
Define las fases primarias esperadas de
ser ejecutadas durante esas fases.
Ayuda a administrar el progreso del
desarrollo del software
Provee un espacio de trabajo para la
definicin de un detallado proceso de
desarrollo de software.

aplicacion
1.
2.
3.
4.

Plan rpido
Modelado diseo rpido
Construccin del prototipo
Desarrollo entrega y retroalimentacin

modelo incremental
origen
Propuesto por Mills en 1980.
Sugiri el enfoque incremental
de desarrollo como una forma
de reducir la repeticin del
trabajo en el proceso de
desarrollo y dar oportunidad
de retrasar la toma de
decisiones en los requisitos
hasta adquirir experiencia con
el sistema . Surge porque en
los primeros desarrollos se
poda esperar largo tiempo
hasta que el software
estuviese listo. Las reglas del
negocio de hoy no lo
permiten.

caracteristicas
Se evitan proyectos largos y
se entrega algo de valor a
los usuarios con cierta
frecuencia.
- El usuario se involucre ms.
- Dificil de evaluar el costo
total.
- Dficil de aplicar a los
sistemas transaccionales que
tienden a ser integrados y a
operar como un todo.
- Requiere gestores
experimentados.
- Los errores en los requisitos
se detectan tarde.
- El resultado puede ser muy
positivo.

aplicacion
Se divide en 4 partes
1. Anlisis
2. Diseo
3. Cdigo
4. prueba

Basado en componentes
origen
El modelo basado en
componentes es un
paradigma de desarrollo,
donde el software es
desarrollado mediante la
reutilizacin de
componentes de software
pre-existentes. Emergi
como una importante
solucin al problema del
desarrollo de sistemas
grandes y complejos

1.
2.

3.

4.
5.

caractersticas
Evolutivo por
naturaleza
Exige un enfoque
iterativo para la
creacin de
software
Contiene
diagramas de
componentes y/o
Interfaces
Componentes y
nodos
Restricciones

aplicacin
Reutilizacin
Simplificacin
simplificacin de
mantenimiento
mejoramiento

Mtodos formales
Origen
En 1967, Robert
Floyd propuso utilizar lo que
se denomin mtodo de
aserciones intermedias como
una manera de estudiar las
propiedades de los
programas. Destac la
posibilidad de definir la
semntica de las operaciones
mediante reglas lgicas
afirmando que estas

caractersticas
lenguajes de especificacin
formal verificacin de
modelos (model checking)
prueba de teoremas

aplicacion
aceraciones de entrada
y de salida
precondicin mas dbil
inducen estructuras

aserciones son vlidas

despus de ejecutarse las
operaciones basndose en la
informacin de las aserciones
que son vlidas antes de
ejecutarse dichas
operaciones.