Una semántica formal ejecutable para ocl y sus aplicaciones al análisis y a la validación de modelos

Tesis doctoral de Marina Soledad Egea González Null una práctica estándar en la ingeniería del software es la construcción de […]

, ,