Resumen Para El LATEX De JOSE

Resumen—Se presenta una exploración de técnicas utilizadas en la aplicación de métodos formales para la ingeniería del software.
En el presente artículo se realizara un overview sobre aplicación de los métodos formales en la ingeniería software, se presentan las técnicas existentes usadas por los métodos formales para la ingeniería del software revisaremos los procedimientos de aplicación,estas técnicas tienen buenos resultados, presentan también desventajas que dependen del contexto del proceso.
Metodos Formales, Ingenieria del Sotware, Validación, Verificación, Especificacion
INTRO
La calidad del software es una de las problematicas mas importantes en los procesos de desarrollo de software. Garantizar el correcto funcionamiento bajo situaciones no determinadas es una tarea quetiene que ser realizada con cuidado extremo. En algunos casos, este tipo de pruebas son de mayor importancia, ya que involucran ambientes sensibles e informacion critica en donde es necesario garantizar que cada uno de los componentes involucrados (hardware, software y componentes humanos) actue de manera correcta ante situaciones especificas, con una variedad de ejemplos que cubren areas tan diversascomo planeacion de trafico, aplicaciones militares y sistemas medicos, entre muchas otras.
Los modelos formales presentan una alternativa practica para solucionar estos problemas. Constituyen un enfoque analitico para la especificacion, diseño y verificacion de sistemas de hardware y software. Su caracteristica principal es la rigurosidad en la que sus modelos se encuentran basados, confundamentos en solidos principios matematicos que permiten definir con precision y sin temor a ambiguedades las necesidades de un sistema. Gracias a estos fundamentos, el software generado mediante metodos formales puede ser verificado mediante el cumplimiento de propiedades derivadas de la especificacion. Este enfoque ha resultado ser exitoso frente a otras tendencias, encontrando errores en diseño quedificilmente habrian podido ser considerados usando otras tecnicas.
Definiciones: Metodos Formales
Una de las metas de la Ingenieria del Software es lograr que los desarrolladores construyan sistemas confiables independientemente de su complejidad. Una forma de alcanzar esta meta es a través del uso de Métodos Formales (MF): técnicas, lenguajes y herramientas definidos matemáticamente, paraespecificar y verificar tales sistemas. El uso de MF propicia la confiabilidad y la seguridad de un sistema, al aumentar la comprensión acerca de un sistema revelando inconsistencias, ambigüedades e incompletitudes, que de otra manera pasan desapercibidas. [L. Mendoza, M. Pérez y M. Capel]
Los métodos formales que se utilizan para desarrollar sistemas de computadoras son técnicas de base matemática paradescribir las propiedades del sistema. Estos métodos formales proporcionan marcos de referencia en el seno de los cuales las personas pueden especificar, desarrollar y verificar los sistemas de manera sistemática, en lugar de hacerlo ad hoc. [John J. Marciniak]
Interactive Systems. Design, Specification, and Verification ..., Volumen 10 Escrito por Joaquim Jorge,Nuno Jardim Nunes,Joao Falcao eCunha .2003
Los metodos formales representan un conjunto de tendencias de desarrollo de software y hardware en donde la especificacion, verificacion y diseño de componentes se realiza mediante notaciones, lenguajes, herramientas y tecnicas basadas en teorias con solida fundamentacion matematica. El uso de notaciones y lenguajes formales permite plantear de manera clara los requerimientos de unsistema, generando especificaciones que definen el comportamiento en terminos del “que debe hacer” y no del “como lo hace”. [Hugo A. Lopez A.]
Notas sobre el uso de M´etodos formales en los procesos de desarrollo de software. Hugo A. L´opez A.2006

Los metodos formales permiten al ingeniero del software crear una especificación sin ambigüedades que sea más completa y constante que las que se utilizan...