Computing the Relevant Instances thay May Violate an OCL Constraint / Computer Science y Networking Technologies / Grupos de investigación / Grupos y programas / Inici