Mejora del desarrollo de competencias específicas en materias de programación mediante la construcción de especificaciones ejecutables