english Icono del idioma   español Icono del idioma  

Buscar

Búsqueda avanzada

Comenzar una nueva búsqueda
Agregar filtros:

Usar filtros para refinar el resultado de la búsqueda.


Resultados 1051-1060 de 1069.
Resultados por ítem:
Fecha de publicaciónTítuloAutor(es)
2015Automatización del proceso de generación automática de modelos de servicios en SoaML desde modelos de Procesos de Negocio en BPMN 2.0 con QVT.Bortot, Diego; Merlino, Miguel
2025Metodología de verificación, detección de errores y generación de casos de prueba en modelos RT-DEVS con requisitos temporales cuantitativosGonzález, Ariel
2025Climb the Cinacina : Un videojuego para la enseñanza de inglésPérez Castagnino, Andrés; Bermúdez Guigou, Nicolás; Cianelli García, Paula
2025Herramienta de apoyo para la aplicación de la metodología CaDQM, centrada en la definición del contexto de datosRevello Abate, Martina; Rábago Chiarlone, Fernando
2025Diseño y desarrollo de un sistema de apoyo al Servicio de Transporte Accesible (STA) del MIDESGonzález Green, Rodrigo; Penadés Texeira, Fernando; Rubio Colucci, Juan Pablo
2009Un enfoque comparativo de las técnicas de verificación : Todos los usos y cubrimiento de sentenciasBogado, Carmen; Moreno, Silvana
2014Guía de recursos del MidesArcia, Maximiliano; Carlosena, Germán
2013Adaptación del modelo WRF a una arquitectura multi/many cores (GPUs)Burdiat, Marcel; Hagopian, José Ignacio; Silva, Juan Pablo
2012Herramientas para la simulación del transporte público urbano colectivoLópez, María Virginia; Lorenzo, Pablo César; Medina, Pablo
2011Generador de ejercicios interactivos como herramienta de educación a distanciaMedeiros, Nicolás; Pérez, Guillermo; Sniadover, Nicolás