Verificación formal de software en sistemas de big data

dc.creatorAsteasuain, Fernando
dc.creatorAragón, Rafael
dc.creatorRodriguez Caldeira, Luciana
dc.creatorGranata, Nicolás
dc.creatorPatera, Nahuel
dc.creatorGamboa, Pablo
dc.creatorFeng, Hang Shao
dc.date2022-04
dc.date2022
dc.date2022-10-19T18:47:47Z
dc.date.accessioned2023-07-15T08:28:40Z
dc.date.available2023-07-15T08:28:40Z
dc.identifierhttp://sedici.unlp.edu.ar/handle/10915/144120
dc.identifierisbn:978-987-48222-3-9
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/7484458
dc.descriptionLa 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.descriptionRed de Universidades con Carreras en Informática
dc.formatapplication/pdf
dc.format269-273
dc.languagees
dc.rightshttp://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rightsCreative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.subjectCiencias Informáticas
dc.subjectBig data
dc.subjectVerificación formal
dc.subjectSíntesis de comportamiento
dc.titleVerificación formal de software en sistemas de big data
dc.typeObjeto de conferencia
dc.typeObjeto de conferencia


Este ítem pertenece a la siguiente institución