Métodos Formales
"Un
método formal es una técnica basada en matemáticas, usada para describir
sistemas de hardware o software", Wing, Jeannette M. (1990), en la década de los
80 investigadores del desarrollo del software propusieron que era método formal
para el siglo XXI, la gran mayoría de los sistemas estarían basados en este
modelo, pero estaba muy equivocado, mencionare 4 razones por las cuales esos
científicos se equivocaron:
1.
Una
ingeniería del software exitosa: a
medida del avance del mundo y esta sociedad ya rodeada de grandes tecnologías,
el desarrollo de los sistemas se ha vuelto un poco más flexible, más ajustado a
nuestras fortaleza que simplemente basados a matemáticas y datos
cuantificables.
2.
Cambios
en el mercado: obviamente al evolucionar la tecnología las exigencias para las
empresas surgieron de la noche a la mañana y con ella más problemas que
resolver, este método formal por su estricto orden no permitía el desarrollo
del sistema con rapidez, a pesar de que un sistema quedara con algunas fallas,
las empresas tomaron ese riesgo a cambio de ganar tiempo y no frenar su
producción.
3.
Ámbito
limitado de los métodos formales: este método no era la mejor opción en cuanto
a interfaz de usuario y eso se ha convertido en un punto sumamente clave a la
hora de crear un sistema.
4.
Escalabilidad
limitada: a pesar de ser muy fiable este método aun no es reconocido por
grandes trabajos, los que han tenido éxito son los relacionados con sistemas
críticos relativamente pequeños.
No hay comentarios.:
Publicar un comentario