Verificación formal de software en sistemas de Big DATA

dc.contributor.author Asteasuain, Fernando
dc.contributor.author Aragon, Rafael Esteban
dc.contributor.author Rodriguez Caldeira, Luciana
dc.contributor.author Granata, Nicolás Ezequiel
dc.contributor.author Patera, Nahuel Hernán
dc.contributor.author Gamboa, Pablo Daniel
dc.contributor.author Han, Shaofeng
dc.date.accessioned 2023-07-25T17:51:30Z
dc.date.available 2023-07-25T17:51:30Z
dc.date.issued 2022
dc.description.abstract 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.
dc.identifier.citation Asteasuain, F.; Aragón, R.; Rodríguez Caldeira, L.; Granata, N.; Patera, N.; Gamboa, P.; Shao Feng, H. (2022). Verificación formal de software en sistemas de Big DATA. En: Workshop de Investigadores en Ciencias de la Computación, WICC. 24. 28-29 abr 2022, Mendoza, Argentina. Libro de actas. Mendoza, Universidad Champagnat. p.:269-273
dc.identifier.uri https://repositorio.uai.edu.ar/handle/123456789/1520
dc.language.iso es
dc.publisher Universidad Champagnat
dc.subject big data
dc.subject verificación formal
dc.subject síntesis de comportamiento
dc.title Verificación formal de software en sistemas de Big DATA
dc.type DOCUMENTOCONF
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0000165413.pdf
Size:
341.87 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description: