Marciszack, Marcelo Martín; Pérez Cota, Manuel; Groppo, Mario Alberto
(Universidad de Palermo, 2015-11)
El presente trabajo, propone la definición de una metodología y herramienta de
soporte asociada, para la especificación y validación de un Modelo Conceptual,
a través de la transformación de modelos a autómatas finitos ...