UHU - Gonzalo A. Aranda-Corral » metodos_formales http://www.uhu.es/gonzalo.aranda Cuaderno de docencia y otras cosas... Thu, 23 Apr 2026 10:52:49 +0000 es-ES hourly 1 http://wordpress.org/?v=4.2 La realidad de los métodos formales… ¿nueva era? http://www.uhu.es/gonzalo.aranda/2010/06/la-realidad-de-los-metodos-formales-%c2%bfnueva-era/ http://www.uhu.es/gonzalo.aranda/2010/06/la-realidad-de-los-metodos-formales-%c2%bfnueva-era/#comments Tue, 22 Jun 2010 20:08:49 +0000 http://www.uhu.es/gonzalo.aranda/?p=99 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/

]]> http://www.uhu.es/gonzalo.aranda/2010/06/la-realidad-de-los-metodos-formales-%c2%bfnueva-era/feed/ 0