2. Estudio y comprensión de una especificación. - IARCOR