Esta especificación se realiza del siguiente modo: