Ha aparecido un post en un blog sobre el tema de los métodos formales, que hemos introducido en clase, y que plantea los pros y contras de implementarlos en la empresa.
A la vez de plantear los problemas, constata que Microsoft cada vez los está usando más y conviertiendo su código en más estable (en algunos casos no era dificil)
Título: Why Can’t Johnny Develop Secure Software?
http://computinged.wordpress.com/2010/06/22/why-cant-johnny-develop-secure-software/