Los ordenadores se averían , es un hecho ya contrastado por la experiencia diaria. y cuando lo hacen, suele ser un virus informatico.Cuando se trata de un sistema como control aéreo o equipo médicos, el coste de un virus pueden ser vidas humanas.
Para evitar tales escenario, se investigan herramientas que produzcan software sin errores. trabajando conjuntamente en MIT, investigadores Lynch y Garland han desarrolado un lenguaje informático y herramientas de programación para poder poner a prueba modelos de software antes de elaborarlo.
No hay comentarios:
Publicar un comentario