BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.17.3.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260915T100000
DTEND;TZID=America/Sao_Paulo:20260915T110000
DTSTAMP:20260909T183825Z
CREATED:20260909T183545Z
LAST-MODIFIED:20260909T183825Z
UID:10929-1789466400-1789470000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Lanuza
DESCRIPTION:Título: Desarrollo de una Interfaz Gráfica Interactiva para Simulaciones DEVS In-Browser (PowerDEVS-IB).\nDirector: Ezequiel Pecker-Marcosig (ICC/FCEN-UBA-CONICET)\nCo-Director: Rodrigo Castro (DC-ICC/FCEN-UBA-CONICET)\nJurado:\n– Dra. María Julia Blas (INGAR/CONICET-UTN)\n– Dr. Javier Godoy (DC-ICC/FCEN-UBA) \nResumen:\nAl igual que en la investigación empírica\, los resultados de una simulación pueden enriquecerse mediante la exploración interactiva del modelo en lugar de limitarse al análisis posterior de los resultados. Sin embargo\, en contextos interdisciplinarios\, la necesidad de instalar y configurar software de simulación interactiva puede dificultar su accesibilidad a usuarios no expertos. \nEn esta Tesis se presenta PowerDEVS-IB\, una extensión para navegadores de la herramienta de modelado y simulación PowerDEVS que permite la experimentación interactiva con simulaciones DEVS directamente en un navegador estándar. El enfoque propuesto compila modelos existentes de C++ a WebAssembly\, habilitando la ejecución local en un navegador y elimiminando así la necesidad de instalar  herramientas específicas para diferentes sistemas operativos o el acceso a servicios remotos. Esto se logra\, además\, preservando la separación estricta entre modelo y simulador\, una característica propia del formalismo DEVS que es aprovechada en este caso para mantener de forma transparente la compatibilidad con modelos preexistentes. \nPowerDEVS-IB ofrece visualización interactiva del modelo\, modificación de parámetros en tiempo de ejecución y breakpoints basados en tiempo o condiciones sobre variables de estado\, a través de una interfaz web. \nSe describe la arquitectura del sistema y se demuestran sus capacidades mediante tres casos de estudio: el modelo de Lotka–Volterra (dinámica continua no lineal)\, el modelo Bouncing Ball (dinámica híbrida con jerarquía de modelos acoplados) y el modelo Spiking Neuron de Izhikevich (sistema híbrido con eventos de reset). La herramienta amplía el acceso a la simulación DEVS\, facilita la reproducibilidad y promueve la experimentación ágil\, constituyendo el primer entorno DEVS que se ejecuta íntegramente en un navegador de forma local.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-lanuza/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260917T143000
DTEND;TZID=America/Sao_Paulo:20260917T153000
DTSTAMP:20260910T185240Z
CREATED:20260910T144838Z
LAST-MODIFIED:20260910T185240Z
UID:10934-1789655400-1789659000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Papagna Maldonado
DESCRIPTION:Título: Cobertura de código en lenguajes dinámicamente tipados usando meta-programación\nDirector: Hernán Wilkinson\nJurados: Juan Pablo Galeotti\, Pablo Rubinstein \nResumen:\nCuis Smalltalk no contaba con herramientas de cobertura de código antes de este trabajo\, y en el ecosistema más amplio de Smalltalk las herramientas disponibles se limitaban a Method Coverage (Squeak\, VAST) y Statement Coverage (Pharo). Este trabajo desarrolla la primera herramienta de cobertura de código para Cuis Smalltalk\, de uso público desde 2021. La herramienta soporta cuatro criterios. Method Coverage\, necesario para distinguir métodos vacíos ejecutados; Statement Coverage; Branch Coverage (no implementado previamente en ningún dialecto de Smalltalk evaluado); y Observed Boolean Coverage (OBC)\, una variante computable de Boolean Coverage\, caracterizada en este trabajo específicamente para lenguajes dinámicamente tipados donde la identificación estática de expresiones booleanas es indecidible.\nLa implementación se basa fuertemente en el uso de metaprogramación: los métodos a analizar se instrumentan mediante reescritura de su abstract syntax tree (AST)\, sin requerir modificaciones a la máquina virtual ni al bytecode. Como contribución adicional\, el trabajo desarrolla PackageSnapshot\, un módulo independiente para clonar paquetes de Cuis preservando jerarquías de clases y referencias internas\, que habilita el análisis reflexivo de la cobertura del propio código de la herramienta.\nLa evaluación de performance sobre paquetes representativos del ecosistema Cuis muestra que el overhead absoluto se mantiene en el orden de los segundos para suites de duración razonable\, compatible con el uso interactivo durante el desarrollo. \nPalabras clave: cobertura de código\, Smalltalk\, Cuis Smalltalk\, metaprogramación\, lenguajes dinámicamente tipados\, criterios de cobertura\, Boolean Coverage\, instrumentación a nivel de AST\, testing de software
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-papagna-maldonado/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR