Composición Categórica de Análisis Automáticos para Líneas de Productos Extendidas

<p><strong>To watch it in Youtube:</strong></p> <p><a href="https://youtu.be/jF7L0oqxwRg">https://youtu.be/jF7L0oqxwRg</a></p> <p><strong>This is the live presentation of a conference paper. Please, access and cite the published version:</strong></p> <p><a href="https://biblioteca.sistedes.es/articulo/composicion-categorica-de-analisis-automaticos-para-lineas-de-productos-extendidas/">https://biblioteca.sistedes.es/articulo/composicion-categorica-de-analisis-automaticos-para-lineas-de-productos-extendidas/</a></p> <p>Para las <em>L&iacute;neas de Productos Software</em> (LPS) se necesitan operaciones que nos permitan analizar dicho software y el re&uacute;so de sus caracter&iacute;sticas. Los razonadores son herramientas que automatizan estas operaciones. Desde la extensi&oacute;n de LPS con diversos tipos atributos de calidad, el tipo y n&uacute;mero de operaciones de razonamiento ha crecido m&aacute;s r&aacute;pido que el desarrollo de los respectivos razonadores. En consecuencia, las operaciones de an&acute;alisis extendido son en el mejor caso <em>parcialmente </em>soportadas por los razonadores estado-del-arte.</p> <p>Para este desaf&iacute;o, podemos aplicar un enfoque de <em>Teor&iacute;a de Categor&iacute;as</em> (TC); el &aacute;lgebra abstracta que capta los componentes comunes de estructuras aparentemente diferentes. Bas&aacute;ndonos en la flexibilidad de sus razonamientos, proponemos una metodolog&iacute;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.</p>