ListarFacultad Regional Córdoba por tema "Autómatas finitos"
Mostrando ítems 1-1 de 1
-
Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
(Confedi .( Consejo Federal de Decanos de Ingeniería), 2013)En el presente trabajo se propone una definición metodológica para la especificación y validación de un Modelo Conceptual a través de la transformación de modelos a autómatas finitos y su validación correspondiente. Describe ...