Professional Documents
Culture Documents
SEMESTRE SEPTIMO
PERODO ABRIL-SEPT/2015
TEMA:
MODELOS DE PROCESO ESPECIALIZADOS
MATERIA:
INGENIERIA DE SOFTWARE
AUTORA:
SINDY M. COBEA CEDEO
FACILITADORA:
ING. HIRAIDA SANTANA
MISIN
Formacin de profesionales ntegros que conjuguen ciencia, tecnologa y valores en
su accionar, comprometidos con la sociedad en el manejo adecuado de programas
y herramientas computacionales de ltima generacin.
VISIN
Ser referente en la formacin de profesionales de prestigio en el desarrollo de
aplicaciones informticas y soluciones de hardware.
INTRODUCCIN
En este captulo vamos a referirnos a los modelos de proceso especializados los cuales son muy
importantes a la hora de desarrollar un sistema, hablaremos sobre los basados en componentes los que
incorpora muchas de las caractersticas del modelo espiral y sus beneficios, tambin sobre los modelos de
mtodos formales que son los que permiten especificar, desarrollar y verificar un sistema basado en
computadora por medio del empleo de una notacin matemtica rigurosa y sus ventajas para identificar
cual se debe utilizar a la hora de desarrollare un sistema.
Se investigan y evalan, para el tipo de aplicacin de que se trate, productos disponibles basados en
componentes.
Se consideran los aspectos de integracin de los componentes.
Se disea una arquitectura del software para que reciba los componentes.
Se integran los componentes en la arquitectura.
Se efectan pruebas exhaustivas para asegurar la funcionalidad apropiada.
El desarrollo de software basado en componentes se ha convertido actualmente en uno de los mecanismos
ms efectivos para la construccin de grandes sistemas y aplicaciones de software.
El modelo de mtodos formales agrupa actividades que llevan a la especificacin matemtica formal del
software de cmputo. Los mtodos formales permiten especificar, desarrollar y verificar un sistema
basado en computadora por medio del empleo de una notacin matemtica rigurosa. Ciertas
organizaciones de desarrollo de software aplican una variante de este enfoque, que se denomina
ingeniera de software de quirfano [Mil87, Dye92].
Cuando durante el desarrollo se usan mtodos formales (captulo 21), se obtiene un mecanismo para
eliminar muchos de los problemas difciles de vencer con otros paradigmas de la ingeniera de software.
Lo ambiguo, incompleto e inconsistente se descubre y corrige con ms facilidad, no a travs de una
revisin ad hoc sino con la aplicacin de anlisis matemtico. Si durante el diseo se emplean mtodos
formales, stos sirven como base para la verificacin del programa, y as permiten descubrir y corregir
errores que de otro modo no seran detectados. Aunque el modelo de los mtodos formales no es el ms
seguido, promete un software libre de defectos. Sin embargo, se han expresado preocupaciones acerca de
su aplicabilidad en un ambiente de negocios:
Debido a que pocos desarrolladores de software tienen la formacin necesaria para aplicar mtodos
formales, se requiere mucha capacitacin.
Es difcil utilizar los modelos como mecanismo de comunicacin para clientes sin complejidad
tcnica.
La comunicacin con el cliente mejora ya que se dispone de una descripcin clara y no ambigua de
los requisitos del usuario.
Mayor productividad
El proceso unificado:
Es un proceso de desarrollo de software configurable que se adapta a travs de los proyectos variados en
tamaos y complejidad. Se basa en muchos aos de experiencia en el uso de la tecnologa orientada a
objetos en el desarrollo de software demisin crtica en una variedad de industrias por la compaa
Rational
CONCLUSIN
son muy
BIBLIOGRAFA
Linarte, Juan Pablo. Modelos especializados de procesos. Consultado, 29 de mayo del 2015.
Disponible en: https://es.scribd.com/doc/96611418/Modelos-Especializados-de-Proceso