Seminarios Sistedes

URI permanente para esta colección:

https://hdl.handle.net/11705/SISTEDES/SEMINARIOS

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

Mostrando 1 - 20 de 23

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 10:00.
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.
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.
Razonando sobre calidad en los sistemas altamente configurables
Fuentes Fernandez, Lidia. Seminarios Sistedes, 2023-03-27 16:00.
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.
¿Sobre qué investigo? Pregúntaselo a la literatura
Díaz García, Óscar. 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.
Grafos de conocimiento: qué son y cómo describirlos
Labra Gayo, Jose Emilio. Seminarios Sistedes, 2023-01-17 16:00.
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.
La evaluación de la investigación
Gallardo, María del Mar; Illarramendi, Arantza; Orejas, Fernando. Seminarios Sistedes, 2022-12-21 11:00.
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.
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 16:00.
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.
Descifrando el lenguaje de la vida: combinando Ingeniería del Software e Ingeniería de la Vida
Pastor López, Óscar. Seminarios Sistedes, 2022-10-24 16:00.
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».
Herramientas automáticas de verificación deductiva y desarrollo de software fiable
Lucio, Paqui. Seminarios Sistedes, 2022-07-13 10:00.
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++.
Cómo construir un (chat)bot inteligente sin morir en el intento – Una perspectiva desde la Ingeniería de Software.
Cabot Sagrera, 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.
Errores comunes en el diseño y análisis de experimentos en Ingeniería de Software
Vegas, Sira. Seminarios Sistedes, 2022-04-27 16:00.
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.
La Ciencia del Diseño: del desarrollo de software a la investigación en software
Díaz García, Óscar. Seminarios Sistedes, 2022-03-23 16:00.
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.
Inteligencia computacional en el análisis y desarrollo de modelos software
Cetina Englada, Carlos. Seminarios Sistedes, 2022-02-21 16:00.
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.
Ingeniería de requisitos dirigida por los datos
Franch, Xavier. Seminarios Sistedes, 2022-01-24 16:00.
La ingeniería de requisitos basada en datos (IRBD) consiste en la obtención, análisis y operacionalización de datos procedentes de las partes interesadas de un sistema software, especialmente (pero no solo) sus usuarios finales, con el propósito de sugerir al ingeniero de requisitos nuevas necesidades del sistema basadas en evidencia y no en opinión. Esta aproximación a la ingeniería de requisitos se está adoptando progresivamente en el desarrollo de sistemas, pero no está exenta de ciertos riesgos que deben considerarse cuidadosamente. Las técnicas de procesado del lenguaje natural y de obtención de feedback implícito no siempre son fáciles de aplicar y requieren datos de alta calidad. Además, integrar la IRBD en las prácticas habituales de las empresas de desarrollo de software es normalmente un desafío. En esta charla, se resumen los conceptos principales de la IRBD, se describe el estado del arte del área, se recapitulan lecciones aprendidas y desafíos abiertos, y se delinean las líneas futuras de investigación, especialmente en relación con el impacto de la IRBD en la proceso completo de desarrollo de software.
Introducción a los algoritmos cuánticos en asignaturas de Algorítmica
Peña Marí, Ricardo. Seminarios Sistedes, 2021-12-20 10:00.
Los computadores cuánticos son ya un hecho, a pesar de que los existentes hasta la fecha solo pueden considerarse prototipos con numerosos problemas aún por resolver. Algunas previsiones los sitúan a nivel comercial en menos de una década. Sin embargo, los especialistas en computación cuántica son todavía escasos, sin perjuicio de que ya se imparten asignaturas optativas a nivel de grado y de máster que tratan el tema. En la conferencia se defiende que todos los ingenieros informáticos deberían tener unas mínimas nociones de computación cuántica y, en particular, saber por qué el paradigma puede resolver problemas inabordables para los computadores clásicos. Un modo de hacerlo sería integrar un capítulo sobre este tema en los cursos convencionales de algorítmica. La conferencia detalla qué nociones se podrían impartir en unas pocas horas y qué tipo de ejercicios se propondrían a los estudiantes.
Digital twins. Aproximaciones híbridas que combinan técnicas de IA & BD con entornos de simulación.
Crespo Márquez, Adolfo. Seminarios Sistedes, 2021-11-30 16:00.
La idea del seminario es ver las posibilidades que ofrecen las técnicas de simulación dinámica, al ser combinadas con técnicas de IA y DB, para la construcción de gemelos digitales (DT). A tal efecto, es importante revisar el concepto de DT, y ver cómo encajan las funcionalidades y beneficios que ofrecen los modelos de simulación continua, para el desarrollo de estas herramientas.Como ejemplo se ilustrará la construcción de una red neuronal artificial (ANN) mediante un modelo simulación continua, lo cual facilita la calibración del modelo de ANN y posteriormente su utilización en el estudio de simulación. Se presentarán varios ejemplos para resolver problemas de índole estratégico (fijar estrategias de renovación y reinversión en activos industriales) y también operativo (estimar la presencia de anomalías en equipos críticos), utilizando este tipo de herramientas.
Preparación de propuestas de proyectos de investigación en Informática para convocatorias competitivas
Orejas, Fernando. Seminarios Sistedes, 2021-10-28.
Una de las labores que los investigadores debemos de realizar es la de recabar fondos para la financiación de nuestros proyectos y grupos de investigación. En el caso de las convocatorias competitivas, aunque la financiación debería de depender solo del interés de nuestras propuestas y de nuestra capacidad para llevarlas a buen término, su redacción concreta es a menudo determinante para su éxito o fracaso. En este seminario, después de presentar cómo funciona la evaluación de proyectos en la Agencia Estatal de Investigación (AEI), se estudian los aspectos que considero más importantes en la elaboración de una propuesta, tanto a nivel general, como en relación con los distintos apartados que forman la misma.
El software, será verde o no será
Calero Muñoz, Coral. Seminarios Sistedes, 2021-07-07.
Que el software mueve el mundo es un hecho claro. Y que cada vez está cobrando más importancia, también. Sin embargo, no todo es positivo en el soporte que el software proporciona a nuestra vida diaria. Hay estimaciones que apuntan a que las TIC serán responsables del 20% del consumo global de energía en 2030, parte del cual será debido al software. En este seminario haremos un repaso a diferentes conceptos relacionados con la sostenibilidad software. Veremos las dos principales perspectivas de la relación del software con el medio ambiente, así como la relación de la sostenibilidad software con los objetivos de desarrollo sostenible de Naciones Unidas. También ofreceremos una fotografía sobre la importancia que las principales empresas de desarrollo de software otorgan a la sostenibilidad software y mostraremos resultados sobre mediciones de consumo de software que hemos llevado a cabo. Por un lado, casos realizados para la concienciación de la sociedad en general sobre el impacto que el software tiene en el medioambiente mediante ejemplos de software de uso masivo. Por otro lado, casos más relacionados con el software y la ingeniería del software, que llevamos a cabo con el objetivo de crear un conjunto de buenas prácticas para la profesión. Nuestro objetivo final es haceros conscientes del problema de consumo asociado al software y conseguir que, si en un principio preocupaba el “qué” y después el “cómo”, ahora es el tiempo de centrarnos en el “con qué”. !!!Porque nosotros somos los responsables de que el software se desarrolle de manera sostenible!!!
SMT: una solución eficaz para grandes desafíos de la informática
Rubio Gimeno, Albert. Seminarios Sistedes, 2021-06-09 16:00.
En esta charla daremos una visión general de lo que son los resolutores de restricciones SMT (satisfiability modulo theories) y sus extensiones para optimización. A pesar de tener solo 20 años de historia el uso de la tecnología SMT se ha extendido a una gran variedad de áreas de investigación y de la industria. En la charla mostraremos las principales características de los SMT que justifican su buen comportamiento en una gran variedad de problemas industriales y académicos. En este sentido, aunque la forma de describir las restricciones es importante, una gran ventaja del uso de los resolutores SMT para el usuario es que, en general, no necesitan recurrir a heurísticas especializadas para resolver problemas en ámbitos muy distintos. Presentaremos varios casos de éxito en empresas punteras y detallaremos algunas aplicaciones en las que hemos trabajado. Finalmente, veremos algunas de las limitaciones actuales de estos resolutores y los retos que se presentan para el futuro.
Ingeniería del Software Guiada por Búsqueda
Chicano García, José Francisco. Seminarios Sistedes, 2021-05-11 16:00.
La Ingeniería del Software Guiada por Búsqueda (*Search-Based Software Engineering* , SBSE) es una línea de investigación que combina la rama de la optimización y búsqueda con la de la Ingeniería del Software. Esta línea pretende encontrar soluciones de forma automática (o semi-automática) para problemas difíciles que surgen en la Ingeniería del Software. Para ello, estos problemas se transforman en problemas de optimización y se resuelven usando algoritmos de búsqueda. Este año se cumplen 20 años de la publicación del artículo de Mark Harman y Bryan F. Jones que acuñó el término *Search-Based Software Engineering*. En este seminario se repasarán los conceptos básicos, se mostrarán algunos ejemplos y se analizará la tendencia tanto a nivel nacional como internacional de esta línea de investigación.

Examinar

Envíos recientes