Introducción a los métodos formales (01)

Breve explicación de qué son y para qué sirven los métodos formales para desarrollar software. Aplicación a un ejemplo mínimo que muestra las posibles ambigüedades, inconsistencias e incompletitudes de los requerimientos.

Видео Introducción a los métodos formales (01) канала Maximiliano Cristiá