Documente Academic
Documente Profesional
Documente Cultură
MATERIA
INDICE
INTRODUCCION .................................................................................................................................. 3
DESARROLLO ...................................................................................................................................... 4
TEMA 1: METODOS FORMALES ................................................................................................... 4
1.1.- Definicin de mtodos formales .......................................................................................... 4
TEMA 2: CASO DE XITO DE METODOS FORMALES .............................................................. 6
2.1.- Nombre del proyecto ............................................................................................................ 6
2.2.- Fase de diseo en donde se incorpor el mtodo formal de software ............................ 6
2.3.- Informacin sobre el mtodo formal obtenida de una fuente confiable ........................... 7
2.4.- Ventajas y desventajas de la incorporacin del mtodo formal ....................................... 8
CONCLUSION ...................................................................................................................................... 9
FUENTES DE INFORMACION.......................................................................................................... 10
INTRODUCCION
El uso de mtodos formales es una de estas herramientas que han ayudado a los
ingenieros de software en el desarrollo de sistemas y que hoy en da aunque es un
tema del cual poco se ha hablado pero aun as ha existido una gran variedad de casos
de xito que puedan dar fe y confiabilidad del uso de estos.
DESARROLLO
Si bien estos mtodos suenan como una gran herramienta de ayuda para los
desarrolladores, son mtodos que poco se han venido hablando por grandes empresas
y esto es algo que da a da se busca ir aumentando ya que en base a cada vez ms
proyectos que han venido utilizando estos mtodos, se ha comprobado que pueden ser
de gran ayuda tanto para pequeos como grandes proyectos de niveles locales,
nacionales o hasta internacionales.
Son muchas las utilidades que tienen estos mtodos como lo pueden ser:
Polticas de requisitos
Pruebas entre cdigo mquina y fuente
Pruebas entre especificaciones y requerimientos
3 de las principales ventajas y mejoras que tiene el uso de estos mtodos son:
Entre las desventajas de estos mtodos principalmente podemos decir que es poco
conocido por investigadores o desarrolladores lo cual hace que al momento de querer
iniciar un desarrollo implementando estos mtodos pueda llegar a ser algo complejo y
tardado porque es necesario conocer ms del tema adems de que estos mtodos son
un tanto incomodos para los usuarios por la complejidad que pudieran llegar a tener.
Adems, existen 7 mitos los cuales han sido dichos desde la creacin de estos mtodos
por los cuales muchas personas con solo escucharlos optan por no hacer uso de estos
por creer que dichos mitos puedan ser verdad y puedan llegar a llevar al fracaso un
proyecto.
Como se observa existen ciertos puntos buenos como malos pero eso no ha sido
impedimento para que empresas grandes como son IBM o hasta la NASA hayan
apostado por el uso de estos mtodos para el desarrollo de proyectos que hoy en da
han sido claro ejemplo de que pese a la complejidad que puedan llegar a tener aun as
pueden ser de gran ayuda en proyectos grandes.
Este procesador ha tenido una serie de predecesores los cuales han sido venidos
desarrollados por Rockewell Collins quien en esta ocasin opt por evaluar el utilizar la
verificacin formal antes mencionada.
Uno de los principales aprendizajes que dejo este proyecto fue que es tcnicamente
posible demostrar la exactitud de un micro-cdigo.
Los ingenieros son capaces de poder leer o escribir especificaciones formales que
posteriormente puede llegar a crear, modificar o eliminar ms especificaciones que
sean necesarias para ms pruebas en este u otros proyectos que puedan llegar a
llevarse a cabo en el futuro.
Uno de los mayores problemas en este proyecto fue que el costo fue muy elevado al
llevarse ms de 300 horas hombre para poder realizarse las instrucciones que eran
analizadas ms a detalle por ser la primer versin de uso de este mtodo formal que
posteriormente en la siguiente versin del AAMP-FV fue reducido considerablemente al
ya contar el personal con experiencia y con conocimientos que pudieran ayudar a
realizar tareas o actividades de una manera ms rpida y fcil.
La principal ventaja que se observa en este proyecto con la utilizacin del mtodo
formal es que tcnicamente se puede tener una exactitud del micro-cdigo pero a su
vez la gran desventaja que tuvo esta primera utilizacin del mtodo fue el elevado costo
de horas hombres pero que a su vez se convierte en ventaja para futuros proyectos.
CONCLUSION
Desde un punto de vista muy personal al igual que muchos de las personas que
nos dedicamos al desarrollo de software, desconocemos de estos mtodos por la poca
expansin y usabilidad que ha venido teniendo esta herramienta de ayuda que si bien
nos puede ayudar mucho en un desarrollo tambin puede llegar a complicarse en un
principio por tener que entrar en una curva de aprendizaje poco conocida y que puede
llegar a ser necesario la experiencia y la enseanza de personal con mayor habilidad
que pueda no solo explicar la parte terica de este tema sino contar con experiencias
que puedan hacer que el aprendizaje pueda ser ms rpido y de fcil entendimiento.
FUENTES DE INFORMACION
RACCIS.
9. Natalia Herrera Rey, . (2014). Mtodos Formales. 10/Mar/2014, de