Modelo

Cascada

Tipo
Secuencial Lineal

Postulado y Ao
Propuesto
por
Winston Royce en
1970

Espiral

Evolutivo

Barry Boehm en 1988

Incremental

Evolutivo

Harlan Mills en el ao
1980

Basado en
Transformaciones

Transformacional

Lehman (1980).

Basado en Reutilizacin

Evolutivo

Realizado por: Hctor Goitia C.I: 13.554.464

Modelos de Desarrollo Software

En qu Consiste?
Encadenamiento secuencial de las actividades.
Cada etapa produce documentos que son la
entrada a la siguiente. Para desarrollar una
etapa debe concluirse la anterior
Desarrollo en ciclos.
En cada ciclo: se define el objetivo, se
analizan los riesgos, desarrollo y verificacin
de la solucin obtenida y revisin de
resultados y planificacin del siguiente ciclo
Desarrollo paso a paso donde las partes de
algunas etapas se posponen. Cada etapa
consiste en expandir incrementos de un
producto
de
software
operacional
Incrementos pueden ser entregados al cliente
Cada incremento es diseado, codificado,
probado, integrado y entregado por separado
Los incrementos se desarrollan uno despus
de otro, basados en retroalimentacin
recibida del cliente
Conjunto de tcnicas y herramientas basadas
en modelos matemticos y lgica formal que
son utilizadas para especificar y verificar los
requerimientos y el diseo de sistemas
computarizados.
Se basa en especificaciones formales Las
especificaciones son refinadas hasta alcanzar
el programa El mtodo formal se puede usar
para verificar el sistema de una manera
rigurosa usando tcnicas matemticas.
Se basa en el ensamblaje de componentes

Ventajas
Planificacin sencilla.
Una plantilla estructurada para ingeniera
de sw.
Resolucin
temprana
de
riesgos,
definicin de arquitectura en sus fases
iniciales, basado en un proceso continuo
de verificacin de la calidad, ideal para
productos con un nivel alto de
inestabilidad de los requerimientos.
Existe una disponibilidad limitada de
recursos de desarrollo.
Cuando es difcil establecer todos los
requerimientos por anticipado

Aplicar Mtodos Formales en las fases de

levantamiento de requerimientos y de
diseo de alto nivel.
Las
pruebas
formales
eliminan
ambigedad y subjetividad del anlisis de
los
requerimientos.
El
uso
de
especificaciones formales y pruebas
formales proveen un anlisis sistemtico y
repetible. Pueden ser soportadas por
herramientas de computacin.
Incremento en la fiabilidad, Reduccin en
el riesgo, Utilizacin efectiva de
especialistas. conformidad con los
estndares, Desarrollo acelerado, quizs
70% como
indican algunos estudios

Desventajas
Evolucin
de
los
Requisitos.
Resultados al final.
Retrasos innecesarios.
No aplicable a proyectos
bajo
contrato.
No
recomendable
en
proyectos simples.

Si los requerimientos
crecen, la arquitectura y el
diseo puede cambiar
drsticamente

Es costoso Consume
demasiado tiempo
Requiere de
programadores expertos
en el rea.

Falta de apoyo de las

herramientas Sndrome de
aqu no se ha inventado
Costo de encontrar,
entender y adaptar
componentes reutilizables