Buscar
Mostrando ítems 1-8 de 8
Fastest: Automatizando el testing de software
(Departamento de Ciencias de la Computación; Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2012)
Implementación Autónoma de Métodos de Integración Numérica QSS
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Devs y patrones de diseño
(Departamento de Ciencias de la Computación; Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2012)
Simulación de Programas Paralelos en Haskell
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2016)
Enfoque práctico a la programación basada en invariantes y el editor Socos
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Poda de árboles de Testing a través de la detección de contradicciones matemáticas
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Aplicación bioinformática para predicción de genes regulados por microARNs en plantas
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Especificación de un sistema CGF
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)