Buscar
Mostrando ítems 1-10 de 81
Compilación Certificada sobre Máquinas Abstractas de evaluación normal
(2017-03)
En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un ...
Modelado conceptual de gramáticas formales y máquinas abstractas utilizando ontologías
(Microsoft; Universidad Argentina de la empresa, 2021)
Construcción de una ontología para gramáticas formales y máquinas abstractas utilizando Protégé para la elicitación de requerimientos
(Red de Universidades con Informática, 2021)
Construcción de una ontología utilizando Protégé para la elicitación de requerimientos
(Centro de Ingenieros de Córdoba: Jorge Sarmiento, 2021)
Virtualidad, estética y técnica: de la máscara antigás a la invención de una nueva sensibilidad
(Instituto Tecnologico Metropolitano (ITM), 2014-08-15)
En algunas ocasiones, la investigación de orden técnico da lugar a una modelización matemática que termina volviendo virtual el fenómeno estudiado, y muy pronto se puede apreciar que el fenómeno en cuestión es una mera ...
Construcción de herramientas didácticas para la enseñanza y ejercitación práctica en laboratorio de Informática en las carreras con informática
(Red de Universidades con Informática., 2021)