En los actuales contextos del desarrollo del software, en los que se demanda mayor productividad y calidad tanto de los productos como de los procesos, la gestión de los mismos necesita seguir mejorándose mediante formalismos ...