Microsoft anuncia el Santo Grial de la programación: el software infalible
Científicos de Microsoft anuncian un hito informático que podría tener gran relevancia para entornos de programación: la verificación automática de fiabilidad del software. Imagen: http://diarioti.com/microsoft-anuncia-el-santo-grial-de-la-programacion-el-software-infalible/90688
Leer el resto de esta entrada »