Métodos formales y desarrollo

No se si es mi impresión o realmente estamos volviendo a prestar atención a los métodos formales para desarrollar programas. En todo caso, un par de artículos recientes sobre el tema: Really Rethinking ‘Formal Methods’ (si no se puede descargar de ese enlace es fácil de encontrar por ahí; si no, seguro que conocen a alguien que se lo puede pasar ;) ) que se pregunta por qué los métodos conocidos no han sido adoptados y traza una panorámica. Además, Formal methods versus engineering donde se incide en que estos temas deberían formar parte de lo que aprenden los estudiantes, incluyendo las matemáticas necesarias.

2 pensamientos en “Métodos formales y desarrollo

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s