CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa
Verificación formal de software en sistemas de Big DATA
Año: 2022
Idioma: Español
Resumen
La Ingeniería de Software debe evolucionar para poder enfrentar los desafíos de un mundo moderno híper conectado y con grandes volúmenes de información y datos disponibles para ser analizados. En este contexto, nuevas disciplinas como la denominada Ciencia de Datos han surgido recientemente. Para llevar adelante estos desafíos se deben contar con herramientas para la verificación formal de sistemas basados en BIG DATA que cuentan con una fuerte interacción con áreas de la Inteligencia Artificial como Aprendizaje Automático para poder mantener los estándares esperados de rigurosidad y calidad. Esta evolución requiere de novedosas técnicas para componer un sistema a través de sus múltiples aristas, junto con herramientas que sean eficaces pero también lo suficientemente flexibles y expresivas. La presente investigación pretende dar un paso en pos de enfrentar este desafío, combinando técnicas de verificación formal con la Inteligencia Artificial, en especial con la teoría de juegos, la síntesis de comportamiento y el aprendizaje automático.
Integrantes
Fernando Asteasuain (Autor)
Rafael Esteban Aragon (Autor)
Luciana Rodriguez Caldeira (Autor)
Nicolás Ezequiel Granata (Autor)
Nahuel Hernán Patera (Autor)
Pablo Daniel Gamboa (Autor)
Shaofeng Han (Autor)
Archivos
-
Fernando Asteasuain, Rafael Aragón, Luciana Rodriguez Caldeira, Nicolás Granata, Nahuel Patera, Pablo Gamboa, Hang Shao Feng (2022). “Verificación Formal de Software en Sistemas de Big DATA”. XXIV Workshop de Investigadores en Ciencias de la Computación (WICC). Universidad Champagnat, Mendoza, Argentina. 28 y 29 de abril, 2022.
04- Asteasuain et al - Verificación Formal de Software en Sistemas de Big DATA - WICC 2022.pdf