BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//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:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200703T100000
DTEND;TZID=America/Sao_Paulo:20200703T120000
DTSTAMP:20260515T181510
CREATED:20200701T122741Z
LAST-MODIFIED:20200701T122741Z
UID:5960-1593770400-1593777600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Leandro Nahabedian
DESCRIPTION:Titulo: Actualización Dinámica de Controladores de Eventos Discretos.\nDirector: Sebastián Uchitel.\nJurados:\n– Hugo Andrés López\n– Matías Urbieta\n– Andres Diaz Pace \nAbstract:\nLos sistemas de eventos discretos están en el núcleo de muchos sistemas de software que requieren operación continua como los sistemas reactivos. Cambiar estos controladores en tiempo de ejecución\, para dar soporte a cambios del ambiente o cambios en los requerimientos\, es una problema desafiante y no resuelto hasta ahora. En esta tesis\, se plantea formalmente el problema de actualizar dinámicamente sistemas de eventos discretos que controlan sistemas reactivos. Presento aquí un enfoque general para especificar criterios de correctitud para actualizaciones dinámicas y una técnica que computa automáticamente un controlador que maneja la transición desde la vieja especificación hasta la nueva especificación\, garantizando que el sistema alcance un estado en el cual esa transición pueda ocurrir correctamente y en la cual la arquitectura del sistema subyacente pueda reconfigurarse. La solución usa síntesis de controladores de eventos discretos para construir automáticamente un controlador que garantiza ambas: progreso sobre la actualización y actualizaciones seguras. \nLa técnica desarrollada fue aplicada a distintos dominios como sistemas reactivos o sistemas robóticos. Cada uno de ellos comprende distintos desafíos entre los cuales se destaca la urgencia por adaptarse a los nuevos requerimientos y las variedades de estrategias que se pueden computar para lograr la actualización. Otro dominio de aplicación de la técnica fue la reconfiguración de procesos de negocio. Como es esperado\, las organizaciones requieren que sus procesos de negocios evolucionen manteniendo el cumplimiento de nuevas políticas\, estrategias y regulaciones. La reconfiguración de un proceso de negocio es un problema desafiante ya que no solo se debe idear un nuevo workflow\, sino que también\, requiere de entender de cómo debe ser la transición entre el viejo workflow y el nuevo.\nSi bien los procesos de negocio suelen ser más lentos que los sistemas reactivos o los sistemas robóticos\, este problema sólo fue levemente estudiado\, sin poder garantizar un proceso automático que lo resuelva. En esta tesis producimos procesos de reconfiguración que garantiza la evolución de un antiguo workflow a uno nuevo\, satisfaciendo los requerimientos de transición definidos por el usuario. \nPalabras clave: Actualización dinámica. Sistemas Reactivos. Procesos de Negocio. Sistemas de Eventos Discretos. Síntesis.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-leandro-nahabedian/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200703T180000
DTEND;TZID=America/Sao_Paulo:20200703T190000
DTSTAMP:20260515T181510
CREATED:20200629T131048Z
LAST-MODIFIED:20200629T131048Z
UID:5958-1593799200-1593802800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Bekier
DESCRIPTION:Título: «Un lenguaje de domino específico para sistemas de condiciones»\nDirector: Ceria\, Santiago\nCodirector: de Caso\, Guido\nJurados: Arcuschin\, Iván (UBA); Garbervetsky\, Diego (UBA) \nLink Aula Zoom: https://zoom.us/my/dc.aula08\nNombre Aula Zoom: dc.aula08\nClave del Aula Zoom: M.Hamilton\nSolicitamos que por favor al conectarse silencien sus micrófonos. \nResumen:\nAsí como a veces existen lenguajes de programación de propósito general para programadores\, otras veces son necesarios lenguajes específicos para usuarios finales que son una especie de versión simplificada\, generalmente para aplicar en dominios específicos. \nEn el marco de este trabajo se propone un lenguaje de dominio específico (DSL) que permita a usuarios no expertos en la programación poder escribir reglas condicionales de manera sencilla. Existen muchos contextos donde es necesario escribirlas: un ejemplo muy común es la necesidad de mostrarle a usuarios diferente información basada en reglas predefinidas\, ya sea de autorización o en base a acciones que desencadenan diferentes flujos de datos. \nAsimismo\, se construye una herramienta que traduce código escrito en JavaScript (un lenguaje de propósito general) que tenga una estructura dada\, al DSL anteriormente propuesto y se mide la eficacia de la herramienta en base a un corpus de programas preexistentes. Por último se analiza la correctitud de la implementación del traductor a través de técnicas de fuzzing.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-bekier/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR