Grupo Alarcos · Conference paper · 2005

Formalización de Métricas: OCL vs. Maude

José Antonio Cruz Lemus, Marcela Genero Bocco, Mario Piattini Velthuis

DYNAMICA (Dynamic and Aspect-Oriented Modeling for Integrated....)IV Jornadas de Trabajo de Proyecto · 2005