Seminarios Sistedes

URI permanente para esta colección:

Los Seminarios Sistedes son charlas sobre temas de interés para nuestra comunidad científica, impartidos por destacados miembros de la misma y/o reconocidos expertos en las materias objeto de los mismos.
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 20 de 30
  • Seminario
    ChatGPT en la educación superior ¿aliado o enemigo?
    Martín Valdivia, Maite. Seminarios Sistedes, 2024-05-30.
    En la era digital, la inteligencia artificial (IA) ha transformado diversos aspectos de nuestra sociedad, incluyendo el ámbito educativo superior. Uno de los avances más notables es ChatGPT, un modelo de lenguaje basado en IA que ofrece capacidades avanzadas de conversación y generación de texto. En esta presentación, exploraremos cómo ChatGPT se ha convertido en un aliado poderoso para estudiantes, profesores e investigadores en la educación superior, al tiempo que enfrenta desafíos y preocupaciones sobre su uso ético y sus posibles impactos negativos. Abordaremos el potencial de ChatGPT en la educación superior, desde su definición y funcionamiento hasta su aplicación práctica en diversos ámbitos académicos. Analizaremos cómo esta herramienta se ha vuelto invaluable para estudiantes universitarios, no solo en la generación de contenido académico, sino también en el apoyo a la programación y la investigación. Además, se presentarán ejemplos de uso específicos que pueden resultar útiles tanto para profesores como para investigadores. Por último, examinaremos brevemente un caso práctico fascinante de uso en investigación: la aplicación de ChatGPT en la generación automática de contranarrativas para combatir el discurso de odio, destacando así su potencial para abordar desafíos sociales relevantes mediante este tipo de tecnología.
  • Seminario
    Ingeniería de Software Cuántico ¿reinventando la rueda?
    Murillo Rodríguez, Juan Manuel. Seminarios Sistedes, 2024-04-18.
    La investigación en computación cuántica ha mostrado un desarrollo creciente en las últimas cuatro décadas. Si nos centramos en las tecnologías de software, aunque el término Ingeniería de Software Cuántico se publicó por primera vez en 2002, es a partir de 2020 cuando realmente se empiezan a publicar trabajos que presentan propuestas en la disciplina bajo este nombre. Se trata, por tanto, de una disciplina que está emergiendo en el presente. De ahí que aún despierte reticencias entre los ingenieros de software clásicos. A menudo no encuentran una justificación clara de que el software para ordenadores cuánticos necesite procedimientos diferentes de los ya establecidos para los ordenadores clásicos y tienen la impresión de que se quiere "reinventar la rueda". El objetivo de esta charla no es sólo mostrar que la ingeniería de software cuántico plantea problemas específicos que requieren procedimientos diferentes. Además, se esbozarán algunos de estos problemas. A modo de ejemplo, se mostrarán algunos de los trabajos que se están llevando a cabo en el proyecto QSERV, un proyecto de generación de conocimiento presentado en la convocatoria de 2021, centrado en el campo de la computación cuántica orientada a servicios.
  • Seminario
    ¿Cuántas lenguas hablará la IA cuando acabe con la humanidad?
    Agirre Bengoa, Eneko. Seminarios Sistedes, 2024-03-21.
    La IA generativa ha avanzado de una forma espectacular. En particular, los Modelos de Lenguaje de Gran Tamaño (MLG) tales como GPT han generado expectativas de inteligencia sobre-humana y predicciones catastróficas, lo que ha eclipsado beneficios y problemas más sutiles e inmediatos. Por ejemplo, los MLG son especialmente efectivos en los idiomas más hablados, pero ¿Qué pasa con el resto de idiomas? En esta charla repasaremos cómo se construyen los MLG, sus riesgos, y posibles estrategias para que los MLG ofrezcan la misma calidad en los idiomas de menos recursos, tomando el euskera como ejemplo destacado.
  • Seminario
    Retos y posibilidades de la ingeniería del software para el desarrollo de sistemas de información geográfica (GIS)
    Rodríguez Brisaboa, Nieves; Rodríguez Luaces, Miguel. Seminarios Sistedes, 2024-02-27.
    Después de repasar brevemente la historia de la tecnología GIS, presentaremos algunos conceptos básicos sobre los tipos de datos que maneja y la arquitectura estándar de dichos sistemas. A partir de esos conceptos, explicaremos como los GIS son aplicaciones con características de homogeneidad que las hacen muy adecuadas para su desarrollo automatizado usando tecnología de líneas de producto software (LPS) y de gestión de la variabilidad. Por último, repasaremos algunos de los retos que hay que resolver para poder desarrollar una verdadera LPS para la creación de aplicaciones GIS en web, y algunas de las soluciones que ofrece el estado del arte o que hemos desarrollado en nuestro grupo.
  • Seminario
    Testeo de software en sistemas ciberfísicos: problemas, soluciones y retos futuros
    Arrieta, Aitor. Seminarios Sistedes, 2024-01-23.
    Los sistemas ciberfísicos integran tecnologías digitales (incluido software) con procesos físicos. Ejemplos de estos sistemas son vehículos autónomos, drones, ascensores o robots. La mayoría de ellos cuenta con funcionalidades “safety o mission-critical”, lo que conlleva a que un fallo en el software podría causar daños físicos e incluso la muerte en humanos, catástrofes naturales o pérdidas millonarias. El testeo software es un método que permite detectar fallos software, y es el método más aplicado en el contexto de los sistemas ciberfísicos para asegurar cierto nivel de calidad en el software de dichos sistemas. En este seminario se abordará la problemática del testeo software en sistemas ciberfísicos. Comenzaremos con una breve introducción sobre los problemas que supone testear sistemas ciberfísicos y sus particularidades con respecto a otro tipo de sistemas software, como, por ejemplo, la incertidumbre del entorno o el alto tiempo de ejecución de casos de prueba. Después, se dará una visión global sobre las soluciones que se han propuesto para resolver dichos problemas. Por último, se analizarán los retos que quedan por abordar en los siguientes años en este campo.
  • Seminario
    Introducción a los protocolos pos-cuánticos
    Escobar, Santiago. Seminarios Sistedes, 2023-12-19.
    Los esquemas actuales de cifrado de clave pública, como RSA, se volverán inseguros y peligrosos cuando estén disponibles las computadoras cuánticas a gran escala. Se están desarrollando algunas primitivas criptográficas para que sean resistentes a las computadoras cuánticas y el NIST de EE. UU. está discutiendo activamente los futuros estándares. El desarrollo de tecnologías que puedan utilizarse para garantizar que los protocolos criptográficos pos-cuánticos sean realmente seguros es un tema de investigación urgente. En esta charla presentaremos una descripción general de los protocolos pos-cuánticos y nuestros esfuerzos para analizar formalmente algunos de estos protocolos.
  • Seminario
    Retos y avances de la IA explicable en el proyecto iSee
    Diaz Agudo, Belén. Seminarios Sistedes, 2023-11-16.
    El derecho a la IA explicable (XIA), es decir, a obtener una explicación de la decisión tomada por un modelo de IA en general, y de aprendizaje automático (ML) en particular, es un tema de investigación de gran impacto que se alinea con una regulación reciente de la UE. Podemos encontrar un arsenal creciente de librerías y métodos de explicación e interpretación de los modelos de IA que permiten comprender, justificar y confiar en sus predicciones, recomendaciones y diagnósticos. Repasaremos algunos de los más representativos y nos referiremos a ellos colectivamente como estrategias de explicación.  En el proyecto iSee (Intelligent Sharing of Explanation Experience by Users for Users) proponemos abordar la ciencia y la tecnología para capturar, compartir y reutilizar estrategias de explicación complejas basadas en experiencias de usuarios y buenas prácticas de XIA. En la presentación se hará un breve repaso del estado del arte de la IA explicable y de los objetivos y avances del proyecto iSee ([www.isee4xai.com](http://www.isee4xai.com/)).
  • Seminario
    Aplicación de técnicas de Machine Learning a las herramientas de modelado de software
    Sánchez Cuadrado, Jesús. Seminarios Sistedes, 2023-06-23.
    El uso de técnicas de Machine Learning (ML) se está convirtiendo en una aproximación muy importante para mejorar la productividad de los desarrolladores en diferentes tareas, normalmente relacionadas con la edición de código. Esta tendencia también puede observarse en el ámbito del modelado de software, donde el uso de técnicas de ML puede mejorar la calidad de las herramientas de modelado y mejorar la productividad de sus usuarios. Sin embargo, todavía hay toda una serie de problemas abiertos para poder aprovechar el potencial de estas técnicas en el modelado de software. En esta charla se discutirán los principales obstáculos y dificultades que hay que abordar para aplicar de manera efectiva las técnicas de ML al modelado de software. Entre ellas se encuentran la creación de datasets, la definición de benchmarks para medir el progreso en esta cuestión, el problema de codificar modelos software para su uso en modelos de ML y cómo hacer disponibles en la práctica los modelos entrenados para mejorar las herramientas. Para cada una de estas cuestiones se presentarán posibles soluciones a través de aproximaciones concretas y se discutirán los retos que todavía hay que abordar para conseguir que las herramientas modelado de software estén al mismo nivel que las herramientas de código.
  • Seminario
    Pruebas funcionales en aplicaciones con bases de datos
    Tuya, Javier. Seminarios Sistedes, 2023-05-26.
    Las bases de datos, sea cual sea la tecnología utilizada, son un elemento omnipresente en la práctica totalidad de las aplicaciones empresariales. Cuando se prueban estas aplicaciones surge un compromiso entre el tamaño de la base de datos de prueba y la representatividad de la misma, además del coste de diseñar estos datos para las pruebas. El concepto de cobertura ha sido históricamente un tema ampliamente investigado en el campo de las pruebas de software (criterios lógicos, mutantes, etc.) junto con sus aplicaciones (generación de pruebas, reducción, priorización, etc.). Desde el punto de vista práctico, la evaluación de la cobertura de código es ampliamente utilizada  y soportada por muchas herramientas para determinar si las pruebas son suficientes. Pero, cuando la aplicación bajo prueba utiliza una base de datos, ¿estos criterios permiten determinar si las pruebas son suficientes para detectar defectos? ¿Podemos generar automáticamente datos de prueba que sean representativos? En este seminario abordaremos esta problemática, algunas soluciones y líneas de investigación. Inicialmente se centrará en aplicaciones con bases de datos relacionales, para a continuación enfocar las características específicas cuando éstas son NoSQL o cuando solamente tenemos acceso a los datos a través de un API.
  • Seminario
    Razonando sobre calidad en los sistemas altamente configurables
    Fuentes, Lidia. Seminarios Sistedes, 2023-03-27.
    Las Líneas de Producto Software (LPS) emergieron como una disciplina de la Ingeniería del Software alrededor de los años 70, pero no fue hasta principios de los 2000 que se reconoció como un mecanismo eficiente y fiable para gestionar la variabilidad de un conjunto de productos. Su mayor contribución en los últimos años ha sido modelar la variabilidad mediante características comunes y variables, siendo su mayor exponente los modelos de características o *Feature Models* , especificados mediante fórmulas proposicionales que se resuelven mediante algún tipo de *solver* . Actualmente estos modelos llamados genéricamente modelos de variabilidad (MV), son los protagonistas de esta disciplina y se aplican fundamentalmente para razonar sobre sistemas altamente variables y configurables. Cualquier sistema software y especialmente los sistemas ciber físicos son altamente configurables, y los MV nos permiten generar productos a medida de los requisitos funcionales, pero también teniendo en cuenta que se cumplan unos criterios de calidad, como rendimiento, o consumo de energía. Igualmente los MV pueden utilizarse en sistemas reconfigurables o sensibles al contexto, para analizar el impacto de las diferentes configuraciones en tiempo de ejecución. En esta charla vamos a presentar los fundamentos de las LPS y los MV modernos, centrándonos en el modelado y análisis de la calidad de las configuraciones tanto a nivel de diseño como durante la ejecución de los sistemas, y analizaremos su impacto en el sector industrial y los retos futuros.
  • Seminario
    ¿Sobre qué investigo? Pregúntaselo a la literatura
    Diaz, Oscar. Seminarios Sistedes, 2023-02-23.
    Deciding on the research question (RQ) is likely the most important choice that a researcher
 makes, as it is a decision on what deserves scientific investigation. Yet, this scenario is not new in Software Engineering. In Agile methodologies, engineers also face the development without fully knowing the requirements. Like software engineers when facing blurred requirements, researchers might not be familiar enough with the problem in the early phases of the research to properly scope what they are going to investigate. Similitudes with Agile are fourfold. 1. First, Agile resorts to stakeholders to keep the development team focused on the solution’s intended goals. Likewise, the literature plays the role of the stakeholders in keeping the focus on the aspects that are essential (vs. accidental) of the RQ. 2. Second, Agile development advances iteratively and gradually through sprints. Likewise, coming up with a RQ is not a one-shot activity but the RQ unveils as new or refined insights emerge. 3. Third, Agile aims at an early and continuous delivery of working software. Likewise, RQ Scoping aims at producing successive versions of the RQs that “work”, i.e., that promote reflection and analysis through Comparative Thinking. 4. Fourth, Agile is not about tools, but tools were key for Agile to become mainstream (e.g., Jira). Smooth adoption of RQ Scoping also rests on the existence of tools that support iterative and long-lasting reviewing sprints. Besides performance, tools bring transparency (the quality of being done in an open way) and traceability (the quality of having an origin that may be found or followed), both factors especially welcome in a scenario characterized by testing (is my RQ relevant?) and adjustment (how can I make my RQ relevant?).If the literature resides in Reference Management System (RMS) such as Mendeley or Zotero, then it is just natural that this Agile process takes place in the RMS. The talk introduces FRAMEndeley, a extension for MENDELEY for researchers to FRAme and elaborate their RQ as they read the literature. 

FRAMEndely enjoy over 500 users and it is available for download at the Chrome’s Web.
  • Seminario
    Grafos de conocimiento: qué son y cómo describirlos
    Labra Gayo, Jose Emilio. Seminarios Sistedes, 2023-01-17.
    Desde que Google anunciara en 2012 la utilización interna de grafos de conocimiento para mejorar las búsquedas y la organización de la información, el uso de grafos de conocimiento se ha incrementado de forma espectacular. En esta charla se describe qué son los grafos de conocimiento y se identifican tres tipos principales: basados en RDF, grafos de propiedades y basados en Wikibase. Además, se presentarán algunas técnicas que se han desarrollado para describir grafos de conocimiento, como Shape Expressions (ShEx), así como algunas aplicaciones prácticas de las mismas.
  • Seminario
    La evaluación de la investigación
    Gallardo Melgarejo, María del Mar; Illarramendi, Arantza; Orejas, Fernando. Seminarios Sistedes, 2022-12-21.
    En este momento, en España está muy generalizado evaluar la investigación en base al número de trabajos publicados en revistas que se encuentran situadas en los primeros cuartiles del JCR. En sentido contrario, hace ya 10 años, la Declaración de San Francisco (DORA) hacía un llamamiento a abandonar esta forma de evaluar. Concretamente, en esta declaración se decía que la evaluación debía de tener en cuenta todos los resultados, y no solo las publicaciones en las revistas, basándose en la calidad y relevancia de estos resultados, abandonando los criterios meramente bibliométricos (y, especialmente, del factor de impacto). Más recientemente, la declaración de Leiden, la de Málaga (de la SCIE) y el reciente documento de la EUA, a instancias de la Comisión Europea, suscrito por muchas instituciones, incluidas la AEI, la ANECA,  la CRUE y el CSIC, insisten en líneas relativamente similares. En este seminario, organizado como una mesa redonda, participaron María del Mar Gallardo, miembro de la comisión de acreditación C12 (Informática) de la ANECA, Arantza Illarramendi, actual presidenta en funciones del Comité 6(2) (Ingenierías de la Comunicación, Computación y Electrónica) y Fernando Orejas, presidente del área de TIC de la Agencia Estatal de Investigación, los cuales presentaron la situación actual y discutieron las perspectivas de futuro.
  • Seminario
    Ingeniería de Servicios: Un paso más a la integración de Tecnología, Negocio y Personas
    Marcos Martínez, Esperanza. Seminarios Sistedes, 2022-11-28.
    El sector servicios acapara en torno al 63% del empleo de la población mundial y es, ahora mismo, el que mayores tasas de empleo genera. Y cuando hablamos de servicios, no nos referimos únicamente a aquellos de bajo valor añadido y escasa productividad, sino a todos los servicios y, en especial, a los de alto valor añadido: sanitarios, IT, legales, educación, etc. Además, la industria tradicional también hace tiempo que oferta servicios. El leasing en la industria del automóvil es un claro ejemplo. Es lo que se conoce como servitización, haciendo referencia al proceso por el que las empresas ofertan servicios, en lugar de productos o como complemento a los mismos, y que incluye obviamente un cambio en su modelo de negocio. También las empresas tecnológicas están servitizando sus modelos de negocio, poniendo la prestación de servicios en el core de su negocio. Tradicionalmente los servicios se han ofertado de manera puramente artesanal. Sin embargo, si queremos mejora la calidad y la productividad del sector económico predominante, es necesario aplicar técnicas de ingeniería que permitan planificar, diseñar, construir y proveer servicios que proporcionen un valor añadido al usuario y optimizando sus procesos. Y, debido a que los servicios tienen características muy diferentes a los productos, la ingeniería clásica no puede aplicarse directamente a la industria de los servicios. Por ello, diversas empresas y organizaciones de servicios se han agrupado con el fin de crear lo que IBM ha denominado la Ciencia, Gestión e Ingeniería de Servicios (SSME, Service Science Management and Engineering). SSME es una ciencia transdisciplinar cuyo conocimiento procede de la integración de tres grandes áreas: Ingeniería y Tecnologías de la Información, Negocio y Personas. En esta charla hablaremos de la Ingeniería de Servicios, de su cuerpo de conocimiento, de sus áreas de aplicación, y de algunas líneas de investigación que se pueden abordar desde la Informática.
  • Seminario
    Descifrando el lenguaje de la vida: combinando Ingeniería del Software e Ingeniería de la Vida
    Pastor, Óscar. Seminarios Sistedes, 2022-10-24.
    Entender el genoma visto como el código de programación de la Vida en nuestro planeta requiere el uso de una sólida formación en Ingeniería de Software y Sistemas de Información, donde el Modelado Conceptual y los principios de Desarrollo Basado en Modelos pueden, ¡sorprendentemente!, desempeñar un papel fundamental. A su vez, el conocimieno de ese Lenguaje de la Vida puede habilitar el diseño de un nuevo conjunto de capacidades de comprensión y manipulación de genomas humanos que impactan directamente en la medicina genómica moderna de precisión. Todo esto crea una fuerte conexión entre la Ingeniería de Sistemas de Información y lo que llamamos Ingeniería de la Vida en esta charla. Estas ideas serán presentadas y discutidas, introduciendo los tres componentes principales necesarios para enfrentar tal desafío:un modelo conceptual holístico del genoma, una plataforma de aprendizaje de gestión de datos diseñada específicamente con el propósito de estructurar, organizar, interpretar y explotar correctamente la información genómica, y la definición de un proceso sólido y masivo de recolección de datos con el doble objetivo de i) mejorar el uso médico de los datos basado en la genómica, y ii) descubrir patrones conceptuales que conecten el código genómico con su manifestación externa para identificar las instrucciones del «programa de vida».    
  • Seminario
    Herramientas automáticas de verificación deductiva y desarrollo de software fiable
    Lucio, Paqui. Seminarios Sistedes, 2022-07-13.
    Desde hace ya un buen número de años, existen diversas herramientas, altamente automatizadas e integradas en entornos de desarrollo, para la verificación de sistemas reales escritos en los principales lenguajes de programación. Estas herramientas ya se han utilizado con éxito, a nivel industrial, para desarrollar software fiable, especialmente software crítico. Concretamente, la verificación deductiva de software, que se inició en la década de 1960, ha tenido un largo camino, desde las pruebas en lápiz y papel, hasta las pruebas altamente automatizadas que se realizan hoy en día. Se puede decir que el área ha alcanzado una etapa de madurez que permite que la tecnología de verificación deductiva se haya expandido al entorno industrial. En esta charla ilustraremos el estado del arte en esta área a través de la herramienta Dafny (desarrollada por Microsoft Research). Dafny es un lenguaje de programación (imperativo y funcional) diseñado con la verificación en mente y con un buen soporte para la especificación. Su compilador incluye un verificador de programas que se ejecuta en segundo plano en el entorno de desarrollo. Dafny destaca por ofrecer una experiencia de verificación integrada y particularmente accesible que lo hace muy adecuado no sólo para la enseñanza del paradigma de la verificación deductiva como método de desarrollo de software fiable, sino también para la enseñanza de los conceptos básicos de programación. Dafny genera automáticamente código en varios lenguajes de uso común (e.g. C# y Java), pero también establece una excelente base para el aprendizaje de otras herramientas de verificación deductiva (e.g. Key y Spark) que se aplican directamente a lenguajes como Java, ADA o C++.
  • Seminario
    Cómo construir un (chat)bot inteligente sin morir en el intento – Una perspectiva desde la Ingeniería de Software.
    Cabot, Jordi. Seminarios Sistedes, 2022-06-08.
    Los bots (chatbots, voicebots,…) son un elemento clave en la transformación digital de nuestra sociedad. Están por todas partes: eCommerce, salud digital, FAQs, turismo,… Pero si habéis usado alguno, probablemente os habrá decepcionado. Lo confieso, la mayoría de los chatbots que existen son muy malos. Y es que no es nada fácil hacer un bot que sea realmente útil e inteligente. Un chatbot combina toda la complejidad de la ingeniería de software con toda la complejidad del procesamiento de lenguaje natural. Pensad que muchos chatbots hay que desplegarlos en varios canales (web, telegram, slack,..) y a menudo tienen que utilzar APIs y servicios externos, acceder a bases de datos internas o integrar modelos de lenguaje preentrenados (por ej. detectores de toxicidad), etc. Y el problema no es sólo crear el bot, si no también probarlo y evolucionarlo, lo que abre muchas preguntas: ¿cómo se testea un bot?, ¿cómo protegernos de ataques de seguridad que puedan venir vía el bot? ¿si tengo un bot, necesito una GUI? ¿cuál es el mejor lenguaje para definir un nuevo bot (un DSL, una interfaz gráfica, ninguno de los dos…)? ¿hace falta ser un experto en aprendizaje automático para poder crear uno?… En esta charla veremos los mayores desafíos de Ingeniería Software a los que hay que enfrentarse cuando nos encargan un proyecto de desarrollo que incluye un chatbot (pista: la gran mayoría en un futuro no muy lejano) y que problemas son aún hoy en día problemas abiertos de investigación, como la generación automática de chatbots a partir de diferentes tipos de datos preexistentes.
  • Seminario
    Errores comunes en el diseño y análisis de experimentos en Ingeniería de Software
    Vegas, Sira. Seminarios Sistedes, 2022-04-27.
    La experimentación es esencial en el avance de la ciencia y la ingeniería. Aunque hoy en día es práctica común realizar experimentos en Ingeniería de Software (IS), constituye uno de sus grandes obstáculos. Esto se debe fundamentalmente a tres razones: (1) es una práctica bastante reciente, en comparación con otras disciplinas experimentales mucho más maduras; (2) es una actividad desafiante propensa a errores y (3) la IS tiene algunas características propias, lo que lleva a que algunos problemas de experimentación se conciban de manera diferente que en otras disciplinas. El objetivo de este seminario es presentar algunos de los errores más comunes en el diseño y análisis de los experimentos que se realizan en IS. Conocer cuáles son esos errores y cómo remediarlos permitirá obtener resultados experimentales confiables, y así evitar una crisis de confianza que pueda ocasionar dudas entre los profesionales sobre la confiabilidad de los hallazgos de la experimentación, tal cual reportan Pashler y Wagenmakers en el campo de la psicología. En concreto, el seminario se centra en errores clave identificados en experimentos de IS publicados, y los aborda a través del conocimiento adquirido después de más de 20 años realizando experimentos.
  • Seminario
    La Ciencia del Diseño: del desarrollo de software a la investigación en software
    Diaz, Oscar. Seminarios Sistedes, 2022-03-23.
    Los doctorandos (y sus directores) se enfrentan a exigencias cada vez más estrictas en cuanto a la calidad de los resultados de la investigación (publicaciones), mientras que a la vez se dispone de menos tiempo (3 años). Ambas exigencias difícilmente serán asumibles si no se sigue una metodología. La Ciencia del Diseño (CD) es la metodología de investigación más extendida dentro de los Sistemas de Información, y cada vez más popular en la Ingeniería del Software. Su objetivo: asegurar tanto el rigor como la relevancia de los artefactos resultantes, sean éstos software, métodos o modelos. Por «rigor» entendemos que los resultados de investigación estén bien validados y soportado por «teorías». Por «relevancia» nos referimos a que los problemas tratados sean de interés para contextos y audiencias lo más amplias posibles. La consecución de estos dos objetivos se vertebra alrededor de tres ciclos: el ciclo de diseño donde se desarrolla el artefacto, el ciclo de relevancia donde el diseño es guiado por la utilidad, y el ciclo de relevancia donde el diseño es informado por las teorías y experiencias existentes. El resultado se plasma en término de Principios de Diseño, conocimiento prescriptivo del tipo ‘si quieres conseguir Y en la situación Z, entonces realiza la acción X’. Mediante un ejemplo, la charla va desgranando las diferentes tareas y retos de esta metodología.
  • Seminario
    Inteligencia computacional en el análisis y desarrollo de modelos software
    Cetina, Carlos. Seminarios Sistedes, 2022-02-21.
    Sería imposible desarrollar el software que mueve nuestra sociedad si no fuera por el camino que la ingeniería del software ha recorrido desde el código binario hasta los actuales lenguajes de programación. La ingeniería del software dirigida por modelos (ISDM) sigue empujando en esa dirección de elevar el nivel de abstracción para liberar a los ingenieros software de detalles de implementación. La ISDM no ha remplazado al código fuente como la manera de desarrollar software, pero cada vez hay más dominios en los que la ISDM ha demostrado tener éxito. Muchos de estos dominios están relacionados con ingenierías clásicas, donde el software ha crecido en protagonismo dentro de productos tradicionales, como es el caso de electrodomésticos o vehículos. Pero las ideas de la ISDM también están teniendo éxito en dominios relativamente nuevos como el desarrollo de videojuegos. Los éxitos de la ISDM acentúan la necesidad de aproximaciones para analizar los modelos software. Con la ISDM los ingenieros siguen necesitando reutilizar partes del software, trazar requisitos, o corregir errores. A priori, los modelos software deberían ser un entorno más favorable para su análisis por parte de los ingenieros, pero cuando llevamos los modelos a la escala de la industria estos pueden exceder las capacidades de aquellos. La inteligencia computacional (principalmente *machine learning* y computación evolutiva) pueden ayudar a los ingenieros a analizar los modelos. De hecho, los modelos software pueden ser un entorno favorable para que las técnicas de inteligencia computacional tengan éxito. Comparados con el código fuente, los modelos presentan menos ruido para que el *machine learning* extraiga patrones, y suponen un espacio de búsqueda menor para que lo explore la computación evolutiva. Sin embargo, todavía existen problemas que entorpecen el éxito de la inteligencia computacional para analizar modelos software, como el viejo conocido del desajuste de vocabulario, y el menos explorado problema del conocimiento tácito. En el camino de investigar la inteligencia computacional para analizar modelos software hemos aprendido mucho de otras comunidades donde existe más trayectoria de investigación en inteligencia computacional. Sin embargo, tal vez como comunidad de investigación en ingeniería del software nos hemos dejado llevar en exceso dejando de explotar peculiaridades del software. Esto puede evitar que liberemos el potencial completo de la inteligencia computacional no solo en el análisis de modelos sino también en el resto de la ingeniería del software. Este es el caso de las operaciones genéticas que pueden ir más allá de las habituales cruce y mutación para convertirse en operaciones inteligentes que exploten las peculiaridades del software. Esto puede posibilitar una nueva forma de interacción del ingeniero de software con la computación evolutiva donde los resultados estén más cerca de las expectativas de los ingenieros. Este seminario presenta principalmente cómo la inteligencia computacional puede ayudar a los ingenieros a analizar los modelos software de la ISDM. El seminario también introduce brevemente el desarrollo de modelos mediante inteligencia computacional. Para presentar todo lo anterior habrá una mayor presencia de computación evolutiva que de machine learning, aunque la charla será autocontenida.