Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Producción de información para las políticas públicas: observatorio de salud mental y derechos humanos en la provincia de córdoba. Documented information and indicators for the pubic policies in mental health: human rights obseratory in córdoba

El problema que enfrenta la institucionalidad estatal argentina es que existe un serio déficit de información no solamente en el momento de evaluar un resultado, sino ya al momento de diseñar la política. Las estadísticas oficiales de hechos vitales, salud y educación son difundidas en el mejor de los casos con un año de atraso. La información de indicadores de salud por su nivel de desagregación no permite conocer las realidades locales. Es posible constatar la falta de información sobre las medidas tomadas para asegurar el cumplimiento de las obligaciones del Estado en lo relativo a políticas y programas de salud mental. Del mismo modo que los organismos internacionales determinan los deficits de los sistemas de atención a la salud mental a través de las brechas de tratamiento y aun cuando no se dispone de estimaciones precisas se habla de brechas de información, que expresarían la distancia entre la información necesaria y la efectivamente disponible (OPS, 2009). Desde el mes de diciembre de 2007 se conforma la Mesa de Trabajo Permanente en Salud Mental y Derechos Humanos, con el objeto de instalar en agenda la necesidad de contar con una legislación que brinde el marco normativo para la transformación del sector. En los meses de octubre y noviembre de 2010 se aprobaron sendas leyes de salud mental en la Provincia de Córdoba y a nivel nacional. Ambas proponen la transformación progresiva en los sistemas de atención a los problemas de salud mental de la población. Desde la Mesa de Trabajo Permanente en Salud Mental y Derechos Humanos se afirma que la legislación es un marco necesario pero no suficiente, en tanto se constata que las princiales violaciones a los derechos humanos se producen en situaciones concretas. El presente proyecto nace de la necesidad de contar con un sistema de información que permita conocer la transformación de los servicios de salud mental en la provincia de Córdoba a partir de la sanción de la ley 9848 de Salud Mental en el mes de octubre de 2010. Una vez logrado este objetivo legislativo, se pretende monitorear la gestión con la formulación de los siguientes interrogantes: ¿a través de qué indicadores medir, evaluar y monitorear si la producción de los servicios de salud mental se lleva adelante desde la perspectiva del enfoque de derechos sancionada en el marco normativo vigente?; ¿cuáles son los indicadores que desde dicha perspectiva los organismos estatales de producción de servicios deben elaborar para el compromiso de acción y la rendición de cuentas frente a la ciudadanía? ¿cuáles son los indicadores que la ciudadanía debe reclamar a los fines de monitorear el cumplimiento de dichos compromisos? La puesta en marcha del Observatorio de Salud Mental y Derechos Humanos permitirá analizar las políticas y programas de salud mental desde la perspectiva de los derechos humanos y avanzar en el monitoreo de la producción de los servicios de salud mental. Objetivo General: analizar y hacer visible el cumplimiento de los objetivos sancionados en la ley 9848 de Salud Mental a través de la observación, el monitoreo y la incidencia en las políticas de salud mental de la provincia de Córdoba. Metodología: la construcción de indicadores de derechos humanos para la salud mental. El Observatorio de Salud Mental y Derechos Humanos pretende dar cuenta de las transformaciones que van a ocurrir a partir de la sanción de la ley 9848. Los resultados esperados están ligados a la producción y difusión de información sistematizada sobre las transformaciones en salud mental, a la vigilancia y el análisis del efecto/impacto de las políticas e incidir en las decisiones. El Observatorio pretende reconocer e integrar la información disponible y proponer indicadores que den cuenta de la situación inicial al momento de la implementación de los marcos normativos y permitir el monitoreo de las transformaciones emergentes. This project stems from the need for an information system designed to show the transformation of mental health services in the province of Cordoba after the enactment of the Mental Health Act 9848 in October 2010. Once achieved this legislative objective is to monitor the management with the formulation of the following questions: through which indicators to measure, evaluate and monitor whether the production of mental health services are carried forward from the perspective of rights-based approach enacted in two laws?, What are the indicators from that perspective the production agencies should develop services for the commitment to action and accountability to the public? What are the indicators that the public should demand that the purpose of monitoring compliance with these commitments? The launch of the Centre for Mental Health and Human Rights will review the policies and mental health programs from the perspective of human rights and progress in monitoring the production of mental health services. General Objective: to analyze and highlight the achievement of the objectives sanctioned by the Mental Health Act 9848 through the observation, monitoring and impact on mental health policy in the province of Cordoba. Methodology: building human rights indicators for mental health Mental Observatory Health and Human Rights aims to account for the changes that will occur after the enactment of Law 9848. The expected results are linked to production and dissemination of systematic information about changes in mental health, surveillance and analysis of the effect / impact and influence policy decisions. The Centre aims to recognize and integrate the available information and propose indicators that account for the initial situation at the time of implementation of regulatory frameworks and allow monitoring of change emerging.

Educación para la democracia: estudio cualitativo de identificación de representaciones y prácticas democráticas en escuelas secundarias públicas de gestión estatal y gestión privada de la ciudad de Córdoba.

Esta investigación – como parte de una línea de trabajo iniciada en el año 2006 - tiene por objetivo reconocer y analizar representaciones y prácticas democráticas en la vida escolar de estudiantes, docentes y directivos de escuelas secundarias de la Ciudad de Córdoba. Mientras que las investigaciones antecedentes focalizaban ¿Cómo se construye la democracia al interior de las instituciones educativas?; ¿Cuándo y en qué prácticas –actos, hechos- los actores institucionales reconocen prácticas democráticas?, este estudio profundiza las posibles y diversas formas en que los actores habitan democráticamente las instituciones educativas focalizando el decir como aspecto constitutivo o emergente de una cultura institucional singular. A través de un diseño cualitativo y de una investigación de tipo exploratoria y descriptiva se trabajará indagando y sistematizando en los significados que los sujetos otorgan a sus prácticas en contextos institucionales singulares. Las preguntas de la investigación han sido definidas: ¿Cómo definen y describen prácticas democráticas estudiantes, docentes y directivos de escuelas secundarias públicas de gestión estatal y gestión privada de la Ciudad de Córdoba? ¿Qué relaciones son posibles de identificar entre saberes (contenidos) sobre democracia y prácticas democráticas identificadas por los sujetos como tales? . Hipotetizamos que será posible identificar diversos significados en la consideración con la que directivos, docentes y estudiantes de escuelas secundarias de la Ciudad de Córdoba definen y describen prácticas democráticas y que estos significados podrán encontrar algunas claves explicativas en la singularidad de cada institución y su cultura institucional por un lado y en las relaciones intergeneracionales por otro.

Educación de adolescentes y jóvenes: una mirada desde los procesos de diseño y gestión de políticas públicas en la educación secundaria obligatoria. El caso de las provincias de Buenos Aires, Córdoba y Entre Ríos, República Argentina (2010-2015).

El Sistema Educativo constituye un conjunto organizado de servicios y acciones educativas reguladas por el Estado que posibilitan el ejercicio del derecho a la educación. Por ello, le corresponde garantizar el acceso de niños, adolescentes, jóvenes y adultos a la información, el conocimiento y la diversidad de bienes culturales, claves para el desarrollo personal y social y la participación ciudadana. Este Proyecto centra su interés en un nivel educativo que por la multiplicidad, diversidad y multicausalidad de las problemáticas que lo atraviesan se constituye en uno de los más críticos y complejos del sistema: el Nivel Secundario. Se propone, entonces, analizar la configuración de la Educación Secundaria Obligatoria en las provincias de Buenos Aires, Córdoba y Entre Ríos -en el contexto nacional- durante el período 2010-2015, en relación con el diseño y gestión de políticas públicas; comprender los procesos de mejora, identificar las problemáticas prioritarias y contribuir a la generación de nuevas alternativas y posibilidades en los respectivos territorios. Las jurisdicciones seleccionadas han adoptado un conjunto de decisiones contextualizadas tendientes a expandir y mejorar el servicio que brindan las escuelas secundarias de sus respectivos territorios, en concordancia con lo dispuesto en la Ley de Educación Nacional N°26.206. A partir de la focalización de diversos aspectos (ofertas formativas, normativa, implementación, cobertura, trayectoria educativa; organización institucional, currículum y prácticas; organización formal del trabajo docente y desarrollo profesional), se realizará un estudio de corte exploratorio-descriptivo, de base cuanti-cualitativa focalizado en las provincias seleccionadas. Se entiende que una investigación de esta naturaleza podrá contribuir con el conocimiento y comprensión de los cambios implementados en estas jurisdicciones, colaborando en la mejora de los procesos en curso y en la prevención de efectos no deseados en aquellas que aún no han tomado la decisión de innovar. El equipo de investigación desarrollará un análisis detallado de la realidad de la Educación Secundaria Obligatoria, las problemáticas que presenta el Nivel y los retos que, para enfrentarlas, se han asumido desde distintas gestiones. Se pretende dar cuenta de lo que sucede, intentar algunas interpretaciones sobre por qué es así y aportar a la construcción de alternativas de acción, cuya materialización pudiera contribuir con los procesos de mejora.

Diseño, Desarrollo e Implementación de una aplicación WEB-MAP para la visualización y consulta de los proyectos ejecutados por AudingIntraesa

Consiste en el desarrollo de una aplicación WEB-MAP para la visualización y consulta de los proyectos ejecutados por AudingIntraesa. La tecnología utilizada fue MySQL como sistema de gestión de bases de datos, HTTP Apache como servidor web y Adobe Flex como entorno de desarrollo. Se creó una base de datos. Se diseñó una interfaz de usuario intuitiva, eficiente y atractiva. Se desarrollaron rutinas en AS3 para dotar de funcionalidades a la aplicación. Incluyen la consulta y actualización en tiempo de ejecución, descarga de ficheros externos, la fácil navegación por el mapa con capacidades de zoom, pan, cambio de mapas.

Los sistemas participativos en las políticas de gestión de RSU: ejemplos de best-practices y el caso español

En el presente estudio se analizan los sistemas de gestión de RSU de Alemania, Noruega y California, considerados best-practices, desde la perspectiva de la creación de las políticas que los han hecho posibles. De este análisis se destacan como elementos importantes el liderazgo institucional, los acuerdos con la industria y el debate social. Posteriormente se analiza el caso de España y de Cataluña, comparándolo con los casos destacados y los elementos seleccionados. En este análisis se sigue la evolución de su legislación, planes y programas y se consideran los elementos que definen el panorama actual. Finalmente, siguiendo las recomendaciones de diversos autores y la voluntad del actual programa catalán, se plantea un sistema participativo para la elaboración de estas políticas.

Desarrollo de una plataforma bioinformática para la gestión de datos fenotípicos y moleculares

Este proyecto está orientado a ayudar a un grupo de investigadores del Departamento de Ciencia Animal y de los Alimentos (UAB), que se dedican a recopilar datos genómicos obtenidos en experimentos. La aplicación constará de dos partes. La primera es la parte de los usuarios, donde se podrá crear proyectos, insertar, modificar o eliminar datos y consultar la información ya existente en la aplicación. La segunda parte es la del administrador, que como tal podrá dar de alta a nuevos usuarios, restaurar versiones anteriores de la base de datos, eliminar usuarios y consultar las acciones realizadas por los usuarios.

Análisis y diseño del software para la gestión y divulgación de resultados de un grupo de investigación

Diseño de una aplicación informática que facilite la gestión y divulgación de la información de un Grupo de Investigación.

Diseño de la herramienta G.I.A. (Gestión Integral de Accesibilidad)

Con este PFC se ha pretendido desarrollar una herramienta que permita a organismos encargados de la gestión de la accesibilidad la realización de Planes Integrales de Accesibilidad de forma ágil e intuitiva, consiguiendo con ello mejorar la accesibilidad global dentro de un municipio y por consiguiente a los ciudadanos en general. De esta manera se dispondrá de información actualizada que reduzca las barreras arquitectónicas y mejore la accesibilidad universal de los espacios públicos.

Desarrollo de un backoffice de gestión colaborativo para una aplicación web de reservas online

En este documento se describe una memoría del desarrollo realizado para elaboración de un backoffice colaborativo de un software existente, un motor de reservas online que existía en el mercado.

Sistema de gestión integral en I+D

Trabajo fin de carrera de Ingeniería de software, que consiste en el desarrollo de un sistema de gestión integral que permita gestionar un laboratorio de I+D.

Aplicació Web de Gestió de Cursos TFC - J2EE

Aquest treball de fi de carrera es desenvolupa dins l'àrea de J2EE. Es basa en el desenvolupament d'una aplicació web destinada a gestionar els cursos que s'imparteixen en un ajuntament pels habitants del poble que ho desitjin.

Gestión Académica

Els objectius fonamentals del TFC són els de desenvolupar una aplicació de caràcter professional, la qual pugui ser integrada a qualsevol empresa en la qual la seva activitat requereixi una gestió acadèmica com a funcionalitat principal. Per a això s'empraran les últimes tecnologies que envolten la plataforma .NET, com a ADO.NET, ASP.NET, Formularis Web, Formularis Windows, Dispositius mòbils (Compact Framework).

Aplicación web para la gestión de un catálogo de productos.

El present TFC es basa en l'anàlisi, disseny i implementació d'una aplicació web per a una petita empresa que desitja mostrar per Internet un catàleg de productes audiovisuals i d'entreteniment, amb la finalitat de poder incrementar el nombre de vendes.

Gestión académica de un centro de formación

L'objectiu principal d'aquest TFC ha sigut el disseny i el desenvolupament d'una aplicació o solució completa i totalment funcional utilitzant la plataforma .NET de Microsoft.