Métodos formales en el desarrollo de software

Otro artículos sobre el tema del desarrollo utilizando métodos formales. Se trata de Formal Methods: Practice and Experience (pdf) y nos da un resumen del estado actual de la industria basado en encuestas y cuestionarios. Proporciona algunos datos que me gustará tener como referencia para el futuro. Para los descreídos, una muestra de que estas cosas se utilizan en algunos sitios.

Ya habíamos nombrado de pasada el desarrollo utilizando métodos formales en Una base axiomática para el desarrollo de programas.

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