Salud Ocupacional
Páginas: 4 (830 palabras)
Publicado: 22 de junio de 2012
¿Qué es un Método Formal?
Definición: "Método formal es cualquier técnica que trate la construcción y/o el análisis de modelos matemáticos que contribuyen a la automatización del desarrollo desistemas informáticos"
El papel de los métodos formales en la Ingeniería del Software
Los métodos formales se basan en el empleo de técnicas, lenguajes y herramientas definidos matemáticamente paracumplir objetivos tales como facilitar el análisis y construcción de sistemas confiables independientemente de su complejidad, delatando posibles inconsistencias o ambigüedades que de otra formapodrían pasar inadvertidas.
En los últimos años, la idea de que la formalización matemática del SW es el enfoque más apropiado para conseguir mejorar su calidad va adquiriendo cada vez más fuerza. Lospartidarios de los métodos formales defienden que su empleo, a lo largo de todo el ciclo de vida, facilita el desarrollo de especificaciones claras, concisas y no ambiguas, permite el análisisfuncional de la especificación y posibilita el desarrollo de implementaciones correctas respecto a su especificación. Sin embargo los detractores aseguran que el empleo de métodos formales supone un volumende trabajo considerable, aumento en los costes y tiempo de desarrollo y que debe quedar supeditado a herramientas que lo automaticen.
Ventajas de los métodos formales
▪ Se comprende mejorel sistema.
▪ La comunicación con el cliente mejora ya que se dispone de una descripción clara y no ambigua de los requisitos del usuario.
▪ El sistema se describe de manera más precisa.
▪ Elsistema se asegura matemáticamente que es correcto según las especificaciones.
▪ Mayor calidad software respecto al cumplimiento de las especificaciones.
▪ Mayor productividad
Problemáticaactual de los métodos formales
La falta de madurez en la práctica de los métodos formales es la causa de la imposibilidad de utilizarlos a nivel industrial tal y como se utilizan otros métodos de la...
Definición: "Método formal es cualquier técnica que trate la construcción y/o el análisis de modelos matemáticos que contribuyen a la automatización del desarrollo desistemas informáticos"
El papel de los métodos formales en la Ingeniería del Software
Los métodos formales se basan en el empleo de técnicas, lenguajes y herramientas definidos matemáticamente paracumplir objetivos tales como facilitar el análisis y construcción de sistemas confiables independientemente de su complejidad, delatando posibles inconsistencias o ambigüedades que de otra formapodrían pasar inadvertidas.
En los últimos años, la idea de que la formalización matemática del SW es el enfoque más apropiado para conseguir mejorar su calidad va adquiriendo cada vez más fuerza. Lospartidarios de los métodos formales defienden que su empleo, a lo largo de todo el ciclo de vida, facilita el desarrollo de especificaciones claras, concisas y no ambiguas, permite el análisisfuncional de la especificación y posibilita el desarrollo de implementaciones correctas respecto a su especificación. Sin embargo los detractores aseguran que el empleo de métodos formales supone un volumende trabajo considerable, aumento en los costes y tiempo de desarrollo y que debe quedar supeditado a herramientas que lo automaticen.
Ventajas de los métodos formales
▪ Se comprende mejorel sistema.
▪ La comunicación con el cliente mejora ya que se dispone de una descripción clara y no ambigua de los requisitos del usuario.
▪ El sistema se describe de manera más precisa.
▪ Elsistema se asegura matemáticamente que es correcto según las especificaciones.
▪ Mayor calidad software respecto al cumplimiento de las especificaciones.
▪ Mayor productividad
Problemáticaactual de los métodos formales
La falta de madurez en la práctica de los métodos formales es la causa de la imposibilidad de utilizarlos a nivel industrial tal y como se utilizan otros métodos de la...
Leer documento completo
Regístrate para leer el documento completo.