Resultados de búsqueda - "REFINAMIENTO DE PROGRAMAS"
-
21
An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE
Enlace del recurso / Disponible en línea
Capítulo de libro -
22
A lightweight approach for the semantic validation of model refinements
Enlace del recurso / Disponible en línea
Capítulo de libro