Verificación formal de software en sistemas de big data

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 ll...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Asteasuain, Fernando, Aragón, Rafael, Rodriguez Caldeira, Luciana, Granata, Nicolás, Patera, Nahuel, Gamboa, Pablo, Feng, Hang Shao
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2022
Materias:
Ciencias Informáticas
Big data
Verificación formal
Síntesis de comportamiento
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/144120
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-144120
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Big data
Verificación formal
Síntesis de comportamiento
spellingShingle Ciencias Informáticas
Big data
Verificación formal
Síntesis de comportamiento
Asteasuain, Fernando
Aragón, Rafael
Rodriguez Caldeira, Luciana
Granata, Nicolás
Patera, Nahuel
Gamboa, Pablo
Feng, Hang Shao
Verificación formal de software en sistemas de big data
topic_facet Ciencias Informáticas
Big data
Verificación formal
Síntesis de comportamiento
description 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.
format Objeto de conferencia
Objeto de conferencia
author Asteasuain, Fernando
Aragón, Rafael
Rodriguez Caldeira, Luciana
Granata, Nicolás
Patera, Nahuel
Gamboa, Pablo
Feng, Hang Shao
author_facet Asteasuain, Fernando
Aragón, Rafael
Rodriguez Caldeira, Luciana
Granata, Nicolás
Patera, Nahuel
Gamboa, Pablo
Feng, Hang Shao
author_sort Asteasuain, Fernando
title Verificación formal de software en sistemas de big data
title_short Verificación formal de software en sistemas de big data
title_full Verificación formal de software en sistemas de big data
title_fullStr Verificación formal de software en sistemas de big data
title_full_unstemmed Verificación formal de software en sistemas de big data
title_sort verificación formal de software en sistemas de big data
publishDate 2022
url http://sedici.unlp.edu.ar/handle/10915/144120
work_keys_str_mv AT asteasuainfernando verificacionformaldesoftwareensistemasdebigdata
AT aragonrafael verificacionformaldesoftwareensistemasdebigdata
AT rodriguezcaldeiraluciana verificacionformaldesoftwareensistemasdebigdata
AT granatanicolas verificacionformaldesoftwareensistemasdebigdata
AT pateranahuel verificacionformaldesoftwareensistemasdebigdata
AT gamboapablo verificacionformaldesoftwareensistemasdebigdata
AT fenghangshao verificacionformaldesoftwareensistemasdebigdata
bdutipo_str Repositorios
_version_ 1764820460042715136

Ejemplares similares