Aguien tiene información a cerca de los Metodos Formales en la ingenieria de software.
Tengo entendido que sirven para modelar el software a traves de una base matematica.
Alguien tiene idea?
Saludos!
05/09/2005, 18:08
| |||
| |||
 Metodos Formales en IS Hola a todos! Aguien tiene información a cerca de los Metodos Formales en la ingenieria de software. Tengo entendido que sirven para modelar el software a traves de una base matematica. Alguien tiene idea? Saludos! |
|
06/09/2005, 14:58
| ||||
| ||||
| Segun tengo entendido, son metodos basados en la matematica (por algo se llaman formales) en donde su potencial se centra en que la matematica no es ambigua y esta libre de errores, por lo que desarrollar software mediante estos metodos, genera programas libres de errores(solo en teoria), el problema es que el costo de expresar un modelo de software en terminos logicos, formales y matematicos, es mucho mas caro que el costo de usar por ejemplo UML, y realizar un buen mantenimiento y desarrollo del software con un buen enfoque de calidad. El alto costo es consecuencia del tiempo necesario para desarrollar el modelo del programa. Ademas esto posee una falencia, no cualquier software se puede expresar formalmente. Para que te des una idea de lo que hablo, hace lo siguiente: Trata de escribir un programa que calcule la serie de fibonacci de un numero. Primero en cualquier lenguaje que conozcas y que pertenezca al paradigma "imperativo" pj: C/C++, JAVA, JAvasrcipt, Pascal, ADA, PHP, el que quieras. Despues trata de escribirlo en Prolog (este lenguajhe pertenece al paradigma logico, en el cual no se programa diciendo el "como", sino esxcribiendo "cual" es el problema). Si lo haces, te vas a dar cuenta lo dificil que es llevar algo muy tonto a un razonamiento logico.
__________________ http://blog.tolaware.com.ar -> Blog de Java, Ruby y Linux |
|
13/09/2005, 13:37
| |||
| |||
| Gracias por tu comentario TolaWare... En efecto en aprendido en mi clase que esto de los Metodos formales es usado en la Ingenieria de software para expresar información libre de ambiguedades, ademas te ofrece cierta confianza a la hora de implantar. Y tienes razon es costoso en cuanto a tiempo, pero depende de la dimensión del proyecto, si es pequeño y con requerimientos muy claros, pues no es necesario aplicar estos metodos... Asi tambien cuando en un proyecto grande, los requerimientos son difusos y no hay cierta claridad de lo que realmente se quiere, pues una buena tecnica para definir y validar estos requerimientos son lo metodos formales. Saludos!! |
|
14/09/2005, 05:19
| ||||
| ||||
| De nada, siempre hay que compartir los conocimientos.
__________________ http://blog.tolaware.com.ar -> Blog de Java, Ruby y Linux |
