Practica 2 de Especificación y Desarrollo de Software