Métodos formales aplicados en la industria del software

Uno de las ideas más difundidas sobre el uso de métodos formales es su nula aplicación en la industria del software. Si bien es cierto que su adopción ha sido lenta, existen casos de importantes empresas que han tenido éxito al aplicarlos en proyectos reales. En el presente artículo se mencionan algunos ejemplos donde se han aplicado distintos métodos formales, tanto en la industria de software y hardware, incluyendo la situación en nuestro país y las perspectivas a futuro.

Top