#conversión de especificación a código