Modelo de cascadaOrigencaracteristicasaplicacion

Este modelo fue el primero en surgir y es la base de los dems modelos de ciclo de vidaSe debe comprobar el Software despus de unirlo y antes de operarlo.Es el ms utilizadoDeben desarrollarse todas las fasesLas fases continan hasta que los objetivos se han cumplido

1. Anlisis de requisitos2. Diseo del sistema3. Diseo del programa4. Codificacin5. Pruebas6. Verificacin 7. mantenimiento

Modelo en espiralOrigencaracteristicasaplicacion

Eldesarrollo en espirales unmodelodeciclo de vida del softwaredefinido por primera vez porBarry Boehmen 1986, utilizado generalmente en laIngeniera de software. Las actividades de este modelo se conforman en unaespiral, en la que cada bucle oiteracinrepresenta un conjunto de actividades. Las actividades no estn fijadas a ninguna prioridad, sino que las siguientes se eligen en funcin delanlisis de riesgo, comenzando por el bucle interior.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 softwareProvee un espacio de trabajo para la definicin de un detallado proceso de desarrollo de software.

1. Anlisis de requisitos2. Diseo del sistema3. Diseo del programa4. Codificacin5. Pruebas6. Verificacin 7. mantenimiento

Prototipocaractersticasaplicacion

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 softwareProvee un espacio de trabajo para la definicin de un detallado proceso de desarrollo de software.

1. Plan rpido2. Modelado diseo rpido3. Construccin del prototipo 4. Desarrollo entrega y retroalimentacin

modelo incrementalorigencaracteristicasaplicacion

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.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.Se divide en 4 partes1. Anlisis2. Diseo3. Cdigo4. prueba

Basado en componentesorigencaractersticasaplicacin

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 complejos1. Evolutivo por naturaleza2. Exige un enfoque iterativo para la creacin de software3. Contiene diagramasde componentesy/o Interfaces4. Componentes y nodos5. Restricciones

Reutilizacin Simplificacin simplificacin de mantenimiento mejoramiento

Mtodos formalesOrigen caractersticasaplicacion

En1967,Robert Floydpropuso 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 aserciones son vlidas despus de ejecutarse las operaciones basndose en la informacin de las aserciones que son vlidas antes de ejecutarse dichas operaciones. lenguajes de especificacin formal verificacin de modelos (model checking) prueba de teoremas aceraciones de entrada y de salida precondicin mas dbil inducen estructuras