El miércoles 3 de junio comenzó la segunda serie de videos sobre temáticas seleccionadas en el marco del programa Despegue Científico (ver la primera serie aquí). Estos nueve videos breves dan a conocer algunos de los proyectos seleccionados de la edición 2025 del programa Despegue Científico.
A través de un lenguaje claro y accesible, cada video acerca al público general a temas de investigación de las 6 Áreas del Programa: Biología, Física, Geociencias, Informática, Matemática y Química.
Con esta campaña, PEDECIBA reafirma su compromiso con el fortalecimiento de la ciencia nacional y la difusión del conocimiento generado en el sistema académico uruguayo.
El capitulo 6 se trata de "Formalización de Patrones de Integración de Sistemas con Event-B. Despegue Científico" a cargo de Laura González.
Laura Gonález integra el Área Informática de PEDECIBA desde 2007. Realizó la Maestría y el Doctorado en el Programa y en 2019 ingresó como investigadora Grado 3.
Su trabajo busca mejorar la comunicación entre diferentes aplicaciones de software para evitar fallas y asegurar el flujo correcto de datos en las operaciones digitales diarias.
El proyecto propone el uso de métodos formales para guiar el proceso de diseño y eliminar la confusión al aplicar los patrones de comunicación entre aplicaciones creadas con tecnologías y lenguajes diferentes. Para ello se utiliza el método Event-B, una herramienta matemática que permite modelar, verificar y construir sistemas integrados correctos desde su origen
Este enfoque permite desarrollar soluciones informáticas más confiables, garantizando el funcionamiento conjunto y seguro de las aplicaciones que se utilizan todos los días.
Video en: https://www.youtube.com/watch?v=nMrvNv8CXtU
Extraído de: https://www.pedeciba.edu.uy/es/area/informatica/