Autor:
Munoz, Daniel-Jesus

Cargando...
Foto de perfil

E-mails conocidos

danimg@lcc.uma.es
dm@uma.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Munoz

Nombre de pila

Daniel-Jesus

Nombre

Nombres alternativos

Munoz Guerra, Daniel Jesus

Afiliaciones conocidas

ITIS Software, Spain
ITIS Software, Universidad de Malaga, Spain
Universidad de Málaga, Andalucía Tech, España, Spain
University of Malaga, Spain
University of Malaga

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Artículo
    Teoría de Categorías Aplicada a Variabilidad
    Munoz, Daniel-Jesus; Pinto, Mónica; Fuentes, Lidia. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    La Teoría de Categorías es un álgebra abstracta que capta los componentes comunes de estructuras aparentemente diferentes. Sus principios organizadores pretenden remodelar y reformular problemas, facilitando su resolución y abriendo puertas a nuevas vías de investigación. En este trabajo analizamos su aplicabilidad a Modelos de Variabilidad con los objetivos de estandarizar su expresividad y expandir el conjunto tradicional de herramientas de razonamiento y optimización.
  • Artículo
    Composición Categórica de Análisis Automáticos para Líneas de Productos Extendidas
    Munoz, Daniel-Jesus; Pinto, Mónica; Fuentes, Lidia. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    Para las +AFw-emph+AHs-Líneas de Productos Software+AH0 (LPS) se necesitan operaciones que nos permitan analizar dicho software y el reúso de sus características. Los razonadores son herramientas que automatizan estas operaciones. Desde la extensión de LPS con diversos tipos atributos de calidad, el tipo y número de operaciones de razonamiento ha crecido más rápido que el desarrollo de los respectivos razonadores. En consecuencia, las operaciones de análisis extendido son parcialmente soportadas, en el mejor de los casos, por los razonadores estado-del-arte. Para este desafío, podemos aplicar un enfoque de +AFw-emph+AHs-Teoría de Categorías+AH0 (TC)+ADs el álgebra abstracta que capta los componentes comunes de estructuras aparentemente diferentes. Basándonos en la flexibilidad de sus razonamientos, proponemos una metodología donde las operaciones extendidas sean composiciones configurables de un conjunto de operaciones reusables independientes. Por tanto, buscamos definir e implementar un framework de razonamiento funcional de LPS extendidas basado en TC.