Track 7: Ingeniería del Software Guiada por Búsqueda

El objetivo de estas sesiones es el de compartir experiencias a nivel académico e industrial sobre la aplicación de técnicas de búsqueda y aprendizaje automático en la ingeniería del software, así como en el contexto de los sistemas de apoyo a la decisión y los métodos empíricos que dan soporte a la validación de estas técnicas. Se pretende, por tanto, identificar problemas comunes, analizar las soluciones existentes y su validez empírica y definir líneas de trabajo e investigación futuras. En definitiva, este track nace con el objetivo principal de congregar y crear una comunidad de trabajo en relación a estas propuestas a nivel nacional, fomentando la discusión entre investigadores de las áreas involucradas y estableciendo sinergias que permitan estrechar lazos de colaboración.

En la Ingeniería del Software están apareciendo sinergias con otras áreas que están ayudando a descubrir nuevas formas de resolver problemas tradicionalmente complejos, como la gestión de proyectos, las pruebas del software, la verificación y la validación, la ingeniería del software dirigida por modelos, el diseño, la ingeniería de requisitos, etc. Una de estas sinergias es la consideración de técnicas de optimización y búsqueda, que dan lugar a la ingeniería del software basada en búsqueda (SBSE, Search-based Software Engineering). Estas técnicas automáticas ofrecen al ingeniero soluciones computacionales que reducen el esfuerzo y coste de recursos humanos requeridos para su resolución. Otra fuente de técnicas algorítmicas para resolver problemas de Ingeniería del Software es el aprendizaje automático, una disciplina de la inteligencia artificial que genera soluciones basadas en el aprendizaje a partir de la experiencia y que mejoran notablemente el rendimiento a la hora de resolver determinados problemas, como el aprendizaje de modelos de fallos, la extracción de requisitos, la predicción de costes, etc.

Además de las anteriores, otras técnicas que podrían tener cabida son specification mining, más vinculado a la verificación formal del software, o la Ingeniería del Software Empírica, centrada en extraer conclusiones a partir de experimentos validados con métodos estadísticos.

-

Coordinadores

José Raúl Romero Salguero, (Universidad de Córdoba, jrromero@uco.es).
José Francisco Chicano García, (Universidad de Málaga, chicano@lcc.uma.es).

Temas de interés

  • -Nuevos métodos de optimización aplicados a las distintas fases del ciclo de vida del software e integración y monitorización de sistemas.
  • -Técnicas Semánticas para el Procesamiento y Gestión de Datos.
  • -Big Data.
  • -Bases de Datos.
  • -Almacenes de Datos.
  • -Procesamiento de preguntas.
  • -Recuperación de Información
  • -Aplicaciones: ciencias biomédicas, computación móvil, transporte, entornos móviles Peer-to-Peer (P2P), redes de vehículos, ciudades inteligentes (smart cities), computación energéticamente eficiente para Big Data, smart grid, etc.
  • -Nuevos métodos de optimización aplicados a las distintas fases del ciclo de vida del software e integración y monitorización de sistemas.
  • -Estudios empíricos y análisis teóricos sobre algoritmos de búsqueda para la ingeniería del software.
  • -Aprendizaje automático aplicado a los nuevos tipos de sistemas software, entre los que se consideran las soluciones propuestas por la ingeniería dirigida por modelos, los sistemas autónomos, cloud computing, computación orientada a servicios, sistemas híbridos inteligentes, etc.
  • -Aplicaciones del aprendizaje automático en proyectos software, incluyendo su especificación de requisitos, modelado, gestión y repositorios, etc.
  • -Métodos de ingeniería del software empírica, incluyendo análisis estadísticos de datos empíricos y la validación de experimentos en el contexto de la Ingeniería del Software.
  • -Nuevas propuestas para la minería de especificaciones software.
  • -Herramientas SBSE y sistemas de recomendación y de apoyo a la decisión en la proceso de desarrollo del software.
  • -Aplicaciones de técnicas de búsqueda a nuevos problemas de la ingeniería del software y disciplinas afines (arquitecturas de computación en la nube, sistemas dinámicos orientados a servicios, etc.)
  • -Aplicaciones industriales y experiencias de SBSE.
  • -Discusión de ideas emergentes sobre problemas relacionados con la temática.

Comité de revisión


  • Enrique Alba, (Universidad de Málaga)
  • Isabel del Águila, (Universidad de Almería)
  • José del Sagrado, (Universidad de Almería)
  • José Javier Dolado, (Universidad del País Vasco)
  • José Antonio Parejo, (Universidad de Sevilla)
  • José Riquelme, (Universidad de Sevilla)
  • Daniel Rodríguez, (Universidad de Alcalá)
  • Roberto Ruiz, (Universidad Pablo de Olavide)
  • Sergio Segura, (Universidad de Sevilla)
  • Antonio Vallecillo, (Universidad de Málaga)
  • Sebastián Ventura, (Universidad de Córdoba)
  • Tanja Vos, (Universidad Politécnica de Valencia)
  • María Inmaculada Medina Bulo (Universidad de Cádiz)
  • Francisco Palomo Lozano (Universidad de Cádiz)