METODOLOGÍAS DE DESARROLLO DEL SOFTWARE

Juan Ernesto García Tobar

Carné 1704002001
Abril 2020.

Universidad de Occidente Extensión Montesquieu.

Facultad de Ingeniería.
Desarrollo de Software I
 Índice

Contenido
Índice ..................................................................................................................................... 2
Métodos Informales .............................................................................................................. 3
Métodos Semiformales ......................................................................................................... 3
Métodos Estructurados .................................................................................................... 3
Métodos Orientados a Objetos ........................................................................................ 3
• OMT: ....................................................................................................................... 4
• UML: ....................................................................................................................... 4
Métodos Formales ................................................................................................................ 5
e-Grafía .................................................................................................................................. 6

2
Métodos Informales

Son metodologías en las que lo único que se pretende es entregar de forma rápida el
proyecto. Por lo regular la única documentación que se cruza entre el analista y el
programador consiste en unos garabatos trazados en una hoja en blanco o post-it. Algunos
llaman a estos métodos como quick and dirty, matchstick box. Una verificación de escritorio
simple o una reunión casual realizada con un colega constituye una revisión. Sin embargo,
como no hay planeación o preparación por adelantado, ni agenda o estructura, y no se da
seguimiento a los errores descubiertos, la eficacia de tales revisiones es mucho menor que la
de los enfoques formales.

Métodos Semiformales
Los métodos semiformales se componen de los siguientes métodos:

Métodos Estructurados

Es una forma sistemática de elaborar modelos de un sistema existente o de un sistema que

tiene que ser construido. Fueron desarrollados por primera vez en la década de los 70 para
soportar el análisis y el diseño del software. En las décadas de los 80 y 90 evolucionaron
para soportar el desarrollo orientado a objetos. Entre estos métodos podemos mencionar

• SA/SD (structured análisis & structured design)

• Métrica.
• Diagramas Entidad Relación.
• Diagramas de Flujo de Datos.

La mayoría de métodos estructurados tienen sus propias reglas y guías que se aplican a dichos
modelos. Se encuentran herramientas CASE que soportan el uso de métodos.

Métodos Orientados a Objetos

El análisis y diseño orientado a objetos constituye una nueva forma de pensar acerca de
problemas empleando modelos que son útiles para comunicarse con expertos en esa
aplicación, modelar empresas, preparar documentación, diseñar programas y bases de datos.

Entre la metodología orientada a objetos podemos mencionar:

3
 • OMT:
Es una de las metodologías de análisis y diseño orientada a objetos, más madura y eficiente
que existe en la actualidad. La gran virtud que aporta esta metodología es su carácter de
abierta, que le permite ser de dominio público y, en consecuencia, sobrevivir con enorme
vitalidad. Fue creada por James Rumbaugh y Michael Blaha en 1991.

Balderas, A. (2015). Metodología OMT Diseño de Sistemas [Figura]. Recuperado de

https://slideplayer.es/slide/4094423/

• UML:
El UML modela sistema mediante el uso de objetos que forman parte de él asi como, las
relaciones estáticas o dinámicas que existen entre ellos. UML puede sre utilizado por
cualquier metodología de análisis y diseño orientada por objetos para expresar los diseños.
Es un lenguaje de modelado que sirve para visualizar, especificar, construir y documentar un
sistema de software.

UNAD. (2016). Curso Lenguaje de Modelado Unificado [Figura]. Recuperado de

http://stadium.unad.edu.co/ovas/10596_9839/fases_de_desarrollo.html

4
Métodos Formales
Los métodos formales surgieron como puntos de vista analíticos con los que es posible
verificar el desarrollo de sistemas mediante la lógica y las matemáticas, lo que aporta grandes
ventajas para mejorar la calidad de los programas y por tanto la Ingeniería de Software. El
concepto de métodos formales involucra una serie de técnicas lógicas y matemáticas con las
que es posible especificar, diseñar, implementar y verificar los sistemas de información
(Monin, 2003). Los métodos formales permiten al ingeniero de software especificar,
desarrollar y verificar un sistema informático mediante la aplicación de una notación
matemática rigurosa. Un método formal proporciona los medios de especificar un sistema de
forma que se aseguren, de forma sistemática, la consistencia, la completitud y corrección.
En la Ingeniería de Software los métodos formales se utilizan para:

• Las políticas de los requisitos. En un sistema seguro se convierten en las principales

propiedades de seguridad que éste debe conservar -el modelo de políticas de
seguridad formal-, como confidencialidad o integridad de datos.
• La especificación. Es una descripción matemática basada en el comportamiento del
sistema, que utiliza tablas de estado o lógica matemática. No describe normalmente
al software de bajo nivel, pero sí su respuesta a eventos y entradas, de tal forma que
es posible establecer sus propiedades críticas.
• Las pruebas de correspondencia entre la especificación y los requisitos. Es
necesario demostrar que el sistema, tal como se describe en la especificación,
establece y conserva las propiedades de las políticas de los requisitos.
• Las pruebas de correspondencia entre el código fuente y la especificación.
Pruebas de correspondencia entre el código máquina y el código fuente. Este tipo de
pruebas raramente se aplica debido al costo, y a la alta confiabilidad de los
compiladores modernos.

Carrillo, L. (2011). Métodos formales aplicados en la industria del software [Figura].

Recuperado de http://www.utm.mx/edi_anteriores/temas43/1ENSAYO_43_1-R.pdf

5
e-Grafía

Computerworld. (1993). Joaquín Lucio Villegas, director de CIBI: La productividad es

responsable del paro tecnológico en el que nos encontramos. Extraído el 09 de abril de
2020.
https://www.computerworld.es/archive/joaquin-lucio-villegas-director-de-cibi-la-
productividad-es-responsable-del-paro-tecnologico-en-el-que-nos-encontramos

Gabriel Jiménez. (2020). Desarrollo de Software. Extraído el 09 de abril de 2020.

https://www.academia.edu/24330590/Presentacion_de_desarrollo_de_software

Andrés Morales. (2011). Métodos Estructurados. Extraído el 09 de abril de 2020.

https://es.slideshare.net/andmoralessaenz/mtodos-estructurados

UNAD. (2016). Curso Lenguaje Modelado Unificado. Extraído el 09 de abril de 2020.

http://stadium.unad.edu.co/ovas/10596_9839/fases_de_desarrollo.html

Edgar Serna. (2010). Métodos Formales e Ingeniería de Software. Extraído el 09 de abril

de 2020.
https://www.researchgate.net/publication/237028478_Metodos_formales_e_Ingenieria_de_
Software