El Repositorio Académico Digital de la Universidad ORT Uruguay es un espacio para almacenar, organizar, preservar, dar libre acceso y visibilidad a nivel nacional e internacional de la producción científica, académica y cultural generada por los integrantes de la comunidad universitaria, en formato digital.
Recent Submissions
Item type: Item , Botmeni(Universidad ORT Uruguay. Facultad de Administración y Ciencias Sociales, 2024) Vázquez Zeballos, Rodolfo; Montilla, Francisco; Domonte, Jorge; Rossi, MiguelBotmeni es una herramienta de software que emplea inteligencia artificial y que podrá ser utilizada por empresas que venden a través de Mercado Libre para disminuir los tiempos de respuesta a preguntas formuladas por los compradores, ya que este aspecto es clave para establecer la reputación del vendedor como así también para el posicionamiento de los avisos y por tanto las probabilidades de venta, ya que si el aviso no se ve en las primeras páginas de la búsqueda el producto no se venderá. Se comercializará por suscripción mensual, será de bajo costo y se ejecutará completamente en la nube, quedando activado 15 minutos después que el cliente realice la suscripción.Item type: Item , PELL-EC(Universidad ORT Uruguay. Facultad de Administración y Ciencias Sociales, 2024) Falero, Gimena; Saavedra, Diego; Félix, Manuel; Palacios, MartinEste proyecto presenta la propuesta de producir pellet a partir de la mezcla de aserrín de pino y contenido ruminal, con aplicaciones que van desde la calefacción de hogares hasta su uso industrial en el horneado de panaderías y climatización de piscinas y duchas en clubes deportivos, teniendo además un poder calorífico 9% superior a los productos comercializados en el mercado local actualmente. Dado los insumos utilizados en su fabricación, PELL-EC contribuirá positivamente al medio ambiente reduciendo los desechos de la industria frigorífica y la generación de gases de efecto invernadero, proporcionando una innovadora alternativa para la calefacción que disminuye la dependencia de combustibles fósiles.Item type: Item , TribuTaFacil(Universidad ORT Uruguay. Facultad de Administración y Ciencias Sociales, 2024) Briceño, Yamilet; Figoli, Federica; Tortorella Guasp, Magdalena; Moreno, NataliaTribuTaFacil será una plataforma TaxTech de digitalización fiscal, que utilizando inteligencia artificial, facilitará al contador independiente la liquidación fiscal de sus clientes tanto Pymes como freelancers en un entorno seguro y fácil.Item type: Item , Carpeta Anual(Universidad ORT Uruguay, 2026) Sanguinetti Vivo, Gloria María; Gomez Platero Arrosa, Agustina; Vilaró Davies, MagdalenaLa siguiente Carpeta Anual reúne una selección de los trabajos realizados durante la carrera de grado. Contiene: Resurgir - Protesta! - Anestesi4 - Estampar - Freelancer.Item type: Item , Sistematización de mecanismos para la derivación de invariantes(Universidad ORT Uruguay, 2026) Urreta Suárez, Diego Alberto; Tasistro Souto, Álvaro Daniel; Pagano, Miguel Maria; Ziliani, Luis FranciscoLa verificación formal constituye una de las principales técnicas para garantizar la corrección de programas mediante demostraciones matemáticas. Sin embargo, la construcción de invariantes de bucle continúa siendo una de las mayores dificultades tanto para estudiantes como para profesionales, debido a que suele depender de la experiencia y la intuición del desarrollador. En este contexto, el presente trabajo propone la sistematización de un catálogo operativo de ocho estrategias de invarianza orientado a facilitar la derivación de invariantes durante el proceso de desarrollo de algoritmos verificados. La metodología empleada se basa en un enfoque inductivo, mediante el análisis de algoritmos iterativos fundamentales para identificar patrones lógicos recurrentes que permitan establecer un procedimiento sistemático de transición entre la especificación formal y la implementación. Asimismo, la investigación amplía el alcance de estas estrategias al dominio de las estructuras de datos ramificadas, en particular los árboles binarios, abordando la complejidad asociada a sus fronteras de exploración. Como instancia de validación, se desarrolló un caso de estudio utilizando el lenguaje y entorno de verificación Dafny, certificando formalmente la corrección del algoritmo obtenido a partir de las estrategias propuestas. Los resultados evidencian que el catálogo reduce la dependencia de procesos basados en ensayo y error, favorece la construcción sistemática de invariantes y constituye un recurso de apoyo para la enseñanza y el aprendizaje de métodos formales. Se concluye que la sistematización de estrategias de invarianza resulta aplicable tanto a estructuras lineales como a dominios de mayor complejidad, fortaleciendo el uso de la verificación formal como una práctica accesible y efectiva en la ingeniería de software contemporánea.