Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Revisando los contenidos en lengua : hacia una semántica integradora. Transferencia y capacitación

En el trabajo se sistematiza la información semántica a fin de que ella sea la articuladora y eje de otros contenidos abordados en la enseñanza de la lengua materna. Así, en primer lugar se sistematizarán conceptos y perspectivas semánticas, para luego establecer relaciones con otros niveles lingüísticos, como lo son la Morfología y la Sintaxis, sin descuidar los aportes de la semántica a los procesos de producción y comprensión textuales. Realizaremos estudios para sistematizar y asignar al contenido un lugar dominante e integrador en el proceso de enseñanza-aprendizaje de la lengua materna, sin pretender desdibujar otras temáticas. Planteamos tareas cuyo punto culminante es la capacitación de docentes y experimentación de las propuestas didácticas en tres cursos de lengua en una institución educativa de la ciudad de Córdoba, cuyo examen, de ser positivo, permitirá la replicación y transferencia de esas prácticas a otras instituciones. Como objetivos generales, destacamos colaborar con la integración de los contenidos que se dictan en Lengua Materna, tomando como eje la naturaleza semántica del lenguaje; contribuir con la formación de los estudiantes en las dimensiones de la comprensión y producción textuales; promover la reflexión y el incremento del caudal léxico –y del lenguaje en general-, por parte de los estudiantes; contribuir con la capacitación y formación de los docentes en las temáticas abordadas, a través de acciones concretas; corroborar que la formación de los alumnos podrá tornarse más significativa en la medida en que se trabajen ‘formas’ lingüísticas atravesadas por contenidos. El marco teórico está constituido por los aportes de diferentes líneas, los que, compatibilizados, permitirán acceder a un abordaje integral del ‘contenido’ lingüístico. Más precisamente, consideramos las conceptualizaciones de autores tales como Coseriu (1986) para la delimitación semántica, sus conceptos y operaciones, al que completamos con la perspectiva de Lyons (1986, 1997); para las relaciones entre Morfología, seguimos a Ramírez Sáinz (2008) ; el vínculo sintaxis- semántica será abordado desde la perspectiva de la Gramática Generativa (Demonte,V. 1991; D’Introno, 2001; Fernández Lagunilla, M y Anula Rebollo,A, 1995; los aportes de la comprensión serán considerados desde De Beaugrande-Dresller (1997). Otros autores de referencia son Lakoff y Jhonsson (1998).

REVISANDO LOS CONTENIDOS EN LENGUA: Hacia una semántica integradora. Transferencia y capacitación. REVIEWING CONTENTS IN LANGUAGE: Toward an integrative semantics. Transference and training.

En el trabajo se sistematiza la información semántica a fin de que ella sea la articuladora y eje de otros contenidos abordados en la enseñanza de la lengua materna. Así, en primer lugar se sistematizarán conceptos y perspectivas semánticas, para luego establecer relaciones con otros niveles lingüísticos, como lo son la Morfología y la Sintaxis, sin descuidar los aportes de la semántica a los procesos de producción y comprensión textuales. Realizaremos estudios para sistematizar y asignar al contenido un lugar dominante e integrador en el proceso de enseñanza-aprendizaje de la lengua materna, sin pretender desdibujar otras temáticas. Planteamos tareas cuyo punto culminante es la capacitación de docentes y experimentación de las propuestas didácticas en tres cursos de lengua en una institución educativa de la ciudad de Córdoba, cuyo examen, de ser positivo, permitirá la replicación y transferencia de esas prácticas a otras instituciones. Como objetivos generales, destacamos colaborar con la integración de los contenidos que se dictan en Lengua Materna, tomando como eje la naturaleza semántica del lenguaje; contribuir con la formación de los estudiantes en las dimensiones de la comprensión y producción textuales; promover la reflexión y el incremento del caudal léxico -y del lenguaje en general-, por parte de los estudiantes; contribuir con la capacitación y formación de los docentes en las temáticas abordadas, a través de acciones concretas; corroborar que la formación de los alumnos podrá tornarse más significativa en la medida en que se trabajen 'formas' lingüísticas atravesadas por contenidos. El marco teórico está constituido por los aportes de diferentes líneas, los que, compatibilizados, permitirán acceder a un abordaje integral del 'contenido' lingüístico. Más precisamente, consideramos las conceptualizaciones de autores tales como Coseriu (1986) para la delimitación semántica, sus conceptos y operaciones, al que completamos con la perspectiva de Lyons (1986, 1997); para las relaciones entre Morfología, seguimos a Ramírez Sáinz (2008) ; el vínculo sintaxis- semántica será abordado desde la perspectiva de la Gramática Generativa (Demonte,V. 1991; D'Introno, 2001; Fernández Lagunilla, M y Anula Rebollo,A, 1995; los aportes de la comprensión serán considerados desde De Beaugrande-Dresller (1997). Otros autores de referencia son Lakoff y Jhonsson (1998).

¿Vínculos responsables?: Estado – Empresa en Córdoba

Nuestro proyecto de investigación se propone describir y analizar los factores que influyen en la ausencia de estrategias empresariales y gubernamentales que propicien el desarrollo de iniciativas conjuntas (interactorales de carácter públicoprivadas) en torno al desarrollo de la Responsabilidad Social Empresaria (RSE) en Córdoba capital. A estos fines, a través del contacto con referentes claves de los sectores público-gubernamental y privado-empresarial y representantes de los principales órganos institucionalizados de intermediación entre ambos sectores, se intentará analizar una problemática que, según aproximaciones anteriores realizadas en el marco de PROETICA/ICDA-UCC, estaría ligada a las lógicas de actuación predominantes en los sectores mencionados que impedirían una adecuada vinculación intersectorial. Así, puede decirse que el predominio de patrones individuales de comportamiento que se traducen en el planteo de estrategias diferenciadas no relacionadas, los prejuicios mutuos que impiden el diálogo y el acercamiento y el desconocimiento del tema por parte del Gobierno, conllevan a una ausencia de estrategias orientadas a la promoción y el desarrollo de la RSE. Asimismo, el problema estaría vinculado con una acentuada crisis de representatividad general que afecta también a los actores que operan en la intermediación gobierno- empresas. El equipo considera que la indagación acerca de los factores que, según los actores implicados, influyen en la relación in-tersectorial, es el puntapié incial de cara a resolver las cuestiones que impiden el fortalecimiento de vínculos en pos del desarrollo de la RSE y la consecución de los fines que esta promueve.

El llano en llamas: movimientos y luchas sociales urbanas y campesinas en la Córdoba de hoy

En un provocador artículo Touraine afirmaba que los movimientos sociales se habían convertido en un aspecto central del análisis social, al punto que provoca una inversión de la sociología clásica: un paso de la sociología de la sociedad a una sociología de la acción. La potencia de talafirmación estructuró todo un campo de exploración e interrogación respecto demovimientos, luchas sociales y comportamientos colectivos. Más allá de las diferencias subyacentes en las diversas perspectivas que abordan la temáticatodas coinciden en entender que el acto central que subyace a los movimientossociales es la acción colectiva contenciosa: siempre es usada por gente que notiene acceso regular a las instituciones, que actúa en nombre de viejas onuevas reinvidicaciones y que se conduce en un modo que constituye una amenazapara otros. Sus rasgos principales: una acción colectiva directa, disruptiva,se dirige a un adversario, planteando exigencias comunes. Ahora bien, hablar de exigencias o reclamos comunes, noimporta necesariamente hablar de intereses de clase o de valores compartidoscomo condición precedente a la irrupción en el espacio público. Asumimos quelas luchas sociales actuales, construyen en su mismo proceso identidades eintereses colectivos, abarcando la problemática global del cambio. Paraexpresarlo claramente: las clases no están dadas de antemano. Este marco abre el juego de preguntas que estructurannuestro problema de investigación y que se resume en el interés por analizarlas luchas sociales urbanas y campesinas en Córdoba como procesos de “clasificación” y determinar el impacto de estas luchas y la potencialidad de sus actores parareconfigurar las lógicas y prácticas del escenario político y social. Lo quepretendemos es dar cuenta de los cambios políticos y sociales de cara alpresente y con la mirada puesta en sus implicancias a más largo plazo.

Estrategias de vida implementadas por un grupo de productores fruti hortícolas del cinturón verde de la ciudad de Córdoba

Este proyecto estudiará las estrategias de vida implementadas por familias productoras fruti hortícolas que viven en Colonia Tirolesa y Chacra de la Merced, lugares que forman parte del cinturón verde de la Ciudad de Córdoba; y su relación con los procesos de diferenciación social, asociados a cambios productivos, económicos, culturales y sociales que están condicionados por el modelo de expansión capitalista. A partir del análisis del capital económico, social, cultural y simbólico se identificará en un contexto rural las motivaciones, lógicas productivas y conocimientos agrícolas que incidieron en las decisiones asumidas ante problemáticas emergentes, tales como limitaciones para adquirir nuevos paquetes tecnológicos, el impacto ambiental causados por la no conservación y sustentabilidad de los recursos y las consecuencias sociales vinculadas a los laxos de familia, el trabajo y la calidad de vida. Se plantean las siguientes hipótesis: 1) Algunas familias productoras implementaron estrategias de vida que se relacionan con criterios de autosustentabilidad, conocimientos agrícolas tradicionales y pautas culturales. 2) Los nuevos espacios productivos no son compatibles con agroecosistemas sustentables. 3) Las nuevas tecnologías causaron impactos en la actividad productiva e incidieron en la economía, calidad de vida y vínculos familiares. 4) El modo de producción familiar fue reemplazado por el modo de producción capitalista lo que incidió en la producción agrícola y en la conservación de los recursos. El objetivo principal es descubrir las estrategias de vida implementadas por un grupo de familias, trabajadoras fruti hortícolas, en respuesta a las transformaciones productivas, tecnológicas y socio económicas impuestas por el modelo de acumulación vigente. Para ello se caracterizará los ámbitos productivos de trabajo a campo, identificando la disponibilidad de capital y los conocimientos técnicos y de manejo. También se analizarán las pautas y valores culturales, el impacto de las nuevas tecnologías y la incidencia social, vinculada a los cambios en los modos de producción. El abordaje será de tipo cualitativo, recavando información para elaborar una descripción detallada de las estrategias de vida adoptadas a partir de la década de los noventa. Se tomará como unidad de análisis a las familias que trabajaron o trabajan en la producción de hortalizas o frutales. Se realizarán combinaciones entre procedimientos Tipológicos a Priori; Históricos Comparativos y casos Unitarios. Se analizará las normativas vigentes en relación al uso y calidad del agua y del suelo; también imágenes satelitales para analizar los procesos de cambio en el uso del territorio y del recurso suelo. Se pretende realizar un aporte relacionado con el conocimiento de: la sustentabilidad de los sistemas productivos, la pobreza y los modos de vida de los productores fruti hortícolas que persisten en ambientes degradados; en una franja intermedia entre el campo y la ciudad.

Creación de un test neuropsicológico de denominación confrontacional

La evaluación de la capacidad de denominar (encontrar las palabras adecuadas para nombrar objetos) tiene una importancia decisiva en el diagnóstico temprano de la enfermedad de Alzheimer ya que la anomia (pérdida de esta capacidad) es uno de los signos más tempranos de la enfermedad. Dicha evaluación también adquiere importancia en el diagnóstico de otras patologías tales como la demencia semántica o la afasia. Por lo tanto es importante contar con un test de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente es que se comenzó, hace algunos años, a construir el Test de Denominación Córdoba. Éste es un test neuropsicológico para evaluar la capacidad de denominación confrontacional (implica la producción de los nombres correctos de figuras que se le presentan al individuo). Se diseñaron las láminas, y se realizó un estudio piloto para determinar el orden correcto de las mismas y eliminar láminas técnicamente inadecuadas. Luego se comenzaron los estudios de validez y la estandarización del test. En este proyecto se propone finalizar con los estudios de validez, confiabilidad y los baremos. Para ello se propone administrar alrededor de 200 tests a personas cognitivamente sanas para completar el baremo y alrededor de 20 a 25 personas con Enfermedad de Alzheimer para el estudio de validez

Filososofía y Ciencia Computacional: Aspectos epistemológicos, ontológicos y metodológicos. Philosophy and Computing Sciencs: Epistemological, Ontological and Methodological Aspects.

Uno de los temas centrales del proyecto concierne la naturaleza de la ciencia de la computación. La reciente aparición de esta disciplina sumada a su origen híbrido como ciencia formal y disciplina tecnológica hace que su caracterización aún no esté completa y menos aún acordada entre los científicos del área. En el trabajo Three paradigms of Computer Science de A. Eden, se presentan tres posiciones admitidamente exageradas acerca de como entender tanto el objeto de estudio (ontología) como los métodos de trabajo (metodología) y la estructura de la teoría y las justificaciones del conocimiento informático (epistemología): La llamada racionalista, la cual se basa en la idea de que los programas son fórmulas lógicas y que la forma de trabajo es deductiva, la tecnocrática que presenta a la ciencia computacional como una disciplina ingenieril y la ahi llamada científica, la cual asimilaría a la computación a las ciencias empíricas. Algunos de los problemas de ciencia de la computación están relacionados con cuestiones de filosofía de la matemática, en particular la relación entre las entidades abstractas y el mundo. Sin embargo, el carácter prescriptivo de los axiomas y teoremas de las teorías de la programación puede permitir interpretaciones alternativas y cuestionaría fuertemente la posibilidad de pensar a la ciencia de la computación como una ciencia empírica, al menos en el sentido tradicional. Por otro lado, es posible que el tipo de análisis aplicado a las ciencias de la computación propuesto en este proyecto aporte nuevas ideas para pensar problemas de filosofía de la matemática. Un ejemplo de estos posibles aportes puede verse en el trabajo de Arkoudas Computers, Justi?cation, and Mathematical Knowledge el cual echa nueva luz al problema del significado de las demostraciones matemáticas.Los objetivos del proyecto son: Caracterizar el campo de las ciencias de la computación.Evaluar los fundamentos ontológicos, epistemológicos y metodológicos de la ciencia de la computación actual.Analizar las relaciones entre las diferentes perspectivas heurísticas y epistémicas y las practicas de la programación.

Economía, Política y Sociedad Colonial. Elites y sociedades indígenas y campesinas en Córdoba y la Gobernación del Tucumán. Colonial Economy, Politics and Society. Elites and Indigenous-Peasant Societies in Cordoba and "Gobernación del Tucumán"

El PROBLEMA OBJETO de estudio es la economía, la política y la sociedad colonial en Córdoba y en la Gobernación del Tucumán, durante el período colonial e incluso el de su crisis, con especial atención sobre las transformaciones de las sociedades campesinas e indígenas y sus relaciones con el estado colonial, la iglesia y el sector privado. El ESPACIO a analizar será del de la Gobernación del Tucumán entendido como espacio jurisdiccional que incluía varias regiones con alto grado de relacionamiento, profundizándose sobre la situación de la región de Córdoba, teniendo en cuenta las características de las sociedades originarias, el sistema de dominación colonial, el sistema judicial, el sistema económico de explotación y el proceso de evangelización, así como las formas de resistencia y adaptación de las sociedades indígenas que devendrán en sectores campesinos. Entendemos que es importante tomar como UNIDAD DE ANALISIS al espacio que durante la colonia ocupaba la Gobernación del Tucumán en tanto permite realizar un análisis de largaduración sobre las transformaciones de las sociedades indígenas y campesinas, ya que el mismo casi coincide con el del antiguo Tawantinsuyu y con el del "interior argentino" del siglo XIX. LOS OBJETIVOS ESPECIFICOS consistirán en analizar a) el sistema de dominación colonial en sus especificidades normativas, en el Tucumán en general y en Cordoba en particular, comparandolo con el implementado en las zonas centrales del virreinato peruano para comprender las causas que pudieron haber incidido en las dinámicas específicas que en estas tierras asumieron los procesos de reproducción, transformación, adaptación y etnogénesis de las sociedades indígenas que persistieron, y el paulatino tránsito de una parte de ellas hacia la conformación de sociedades campesinas. b) dichos procesos de transformación de las sociedades indígenas y campesinas y explorando sus formas de resistencia y adaptación. c) las características del sistema de dominación colonial, particularmente las múltiples y cambiantes relaciones entre estado, iglesia y poder privado así como entre las diversas instancias de poder político (local y regional). d) las políticas desplegadas en el sistema judicial y sus consecuencias en términos del acceso a la justicia de los sectores subalternos. HIPÓTESIS. a) Si bien luego de la conquista y durante el período colonial las sociedades indígenas sufrieron una fuerte desestructuración, investigaciones recientes nos han permitido conocer que varias de ellas lograron persistir como "pueblos de indios" y como economías étnicas transformadas, todo lo cual explicamos por el grado de complejidad social preexistente, la capacidad de adaptación de dichas sociedades a las imposiciones del sistema de dominación y explotación colonial y con las acciones de resistencia desplegadas. b) Dentro del universo de las sociedades desestructuradas, se irán conformando unidades domésticas campesinas con características socio-culturales y con lógicas específicas de reproducción bien particulares en lo referido a sus formas de acceso a los recursos, el uso de la energía disponible y a las formas de producción y participación mercantil. METODOS Y FUENTES. Se recuperan metodologías y perspectivas de la historia económica social y de la etnohistoria; y en los proyectos específicos se incorporan también las provenientes de la demografía, historia eclesiástica, historia política y análisis de redes. Al tratarse de una investigación histórica, el análisis crítico de las fuentes provendrá de la reconstrucción de su contexto de producción, de su entrecruzamiento y confrontación. La documentación inédita a consultar será completa y variada y proveniente de distintos repositorios: AGI, ABNB, AGN, AHPBA, AHPC, AAC. En general se ESPERA profundizar nuestros proyectos en curso (que están orientados al análisis de los grupos subalternos de la Gobernación del Tucumán) mientras se continúa con la formación de recursos humanos.

Educativas de nivel medio de la provincia de Córdoba.

La investigación se inscribe en las preocupaciones por comprender las relaciones entre lo político y lo pedagógico en Institutciones Educativas de Nivel Medio (Escuelas Media) de la Ciudad de Villa María y Córdoba. Se propone reconocer representaciones y prácticas de ciudadanía democrática a través del decir de sus actores.¿Cómo se construye la democracia al interior de las instituciones educativas? ¿Cuándo y en que prácticas –actos, hechos- los actores institucionales reconocen prácticas democráticas? A través de un diseño cualitativo y de una investigación de tipo exploratoria y descriptiva se trabajará indagando y sistematizando los significados que los sujetos otorgan a sus prácticas en contextos institucionales singulares. Una mirada comparada entre los decires de los estudiantes y de los directivos permitirá señalar discordancias, puntos de encuentro y complejidades de la vida institucional escolar. Por lo señalado algunas de las preguntas orientadoras de la investigación serán: ¿Cómo describen “prácticas democráticas” estudiantes y directivos de escuelas medias? ¿Qué relaciones son posibles de identificar entre saberes (contenidos) sobre democracia y prácticas democráticas identificadas por los sujetos como tales?¿Cómo describen “competencias democráticas” en tanto reconocimientos de esquemas prácticos de acción en situaciones escolares? Hipotetizamos que será posible identificar diversos (paradojales, heterogéneos, contradictorios) significados en la consideración con la que directivos y estudiantes definen y describen prácticas democráticas y que estos significados podrán encontrar algunas claves explicativas en las lógicas específicas de los diferentes niveles del sistema educativo, la singularidad de cada institución y su cultura institucional por un lado y en las relaciones intergeneracionales por otro.

Estrategias de vida implementadas por un grupo de productores fruti hortícolas del cinturón verde de la ciudad de Córdoba.

Este proyecto estudiará las estrategias de vida implementadas por familias productoras fruti hortícolas que viven en Colonia Tirolesa y Chacra de la Merced, lugares que forman parte del cinturón verde de la Ciudad de Córdoba, y su relación con los procesos de diferenciación social, asociados a cambios productivos, económicos, culturales y sociales que están condicionados por el modelo de expansión capitalista. A partir del análisis del capital económico, social, cultural y simbólico se identificará en un contexto rural las motivaciones, lógicas productivas y conocimientos agrícolas que incidieron en las decisiones asumidas ante problemáticas emergentes, tales como limitaciones para adquirir nuevos paquetes tecnológicos, el impacto ambiental causados por la no conservación y sustentabilidad de los recursos y las consecuencias sociales vinculadas a los laxos de familia, el trabajo y la calidad de vida. Se plantean las siguientes hipótesis: 1) Algunas familias productoras implementaron estrategias de vida que se relacionan con criterios de autosustentabilidad, conocimientos agrícolas tradicionales y pautas culturales; 2) Los nuevos espacios productivos no son compatibles con agroecosistemas sustentables; 3) Las nuevas tecnologías causaron impactos en la actividad productiva e incidieron en la economía, calidad de vida y vínculos familiares; 4 )El modo de producción familiar fue reemplazado por el modo de producción capitalista lo que incidió en la producción agrícola y en la conservación de los recursos. El objetivo principal es descubrir las estrategias de vida implementadas por un grupo de familias, trabajadoras fruti hortícolas, en respuesta a las transformaciones productivas, tecnológicas y socio económicas impuestas por el modelo de acumulación vigente. Para ello se caracterizará los ámbitos productivos de trabajo a campo, identificando la disponibilidad de capital y los conocimientos técnicos y de manejo. También se analizarán las pautas y valores culturales, el impacto de las nuevas tecnologías y la incidencia social, vinculada a los cambios en los modos de producción. El abordaje será de tipo cualitativo, recavando información para elaborar una descripción detallada de las estrategias de vida adoptadas a partir de la década de los noventa. Se tomará como unidad de análisis a las familias que trabajaron o trabajan en la producción de hortalizas o frutales. Se realizarán combinaciones entre procedimientos Tipológicos a Priori; Históricos Comparativos y casos Unitarios. Se analizará las normativas vigentes en relación al uso y calidad del agua y del suelo; también imágenes satelitales para analizar los procesos de cambio en el uso del territorio y del recurso suelo. Se pretende realizar un aporte relacionado con el conocimiento de: la sustentabilidad de los sistemas productivos, la pobreza y los modos de vida de los productores fruti hortícolas que persistencia en ambientes degradados; en una franja intermedia entre el campo y la ciudad.

Apropiación/expropiación de territorialidades sociales. Análisis comparativo de procesos de erradicación/relocalización de fracciones sociales empobrecidas, en ciudades argentinas.

Las dinámicas de la intervención estatal es un tema intensamente trabajado y, en consecuencia, exige definir con claridad la posición que adoptamos. Las políticas públicas son el modo más visible de las formas que adopta la estatalidad y del modo como concibe y se relaciona con la ciudadanía. Ciertamente, las lógicas impuestas desde hace más de tres décadas han favorecido, con sus esquemas focalizados y meritocráticos, la nítida constitución de sectores sociales objeto de la atención estatal. Ello redunda en una representación cada vez más extendida de una sociedad en la que algunos sectores tienen y ejercen sus derechos, mientras otros sólo serían carentes y asistidos. Esta preocupante situación se ve claramente reforzada por los modos de intervención que los aparatos del Estado vienen desarrollando en materia de política urbana -en general- y en vivienda social -en particular- a través de programas sustentados en la construcción, material y simbólica, de verdaderas fronteras estigmatizantes. En este marco, el problema que propone esta investigación refiere a ¿qué relaciones sociales se ocultan, se construyen y destruyen tras la materialidad de los objetos que se producen y circulan por y con el acceso a una vivienda digna? Empíricamente, abordaremos el análisis sincrónico y diacrónico de los procesos de erradicación/relocalización de fracciones sociales empobrecidas y los programas de vivienda que los tendrían como destinatarios, beneficiarios, adjudicatarios -y no como sujetos de derecho- a través de estudios de caso, en distintas ciudades argentinas (Córdoba, Mar del Plata y Santa Fe). El interés central de dicho estudio, es visibilizar un conjunto de acciones con fuerte contenido biopolítico, pues se nos presentan como dispositivos que naturalizan y legitiman formas diferenciales de apropiación de la ciudad, y formas de violencia implícitas y explícitas. Así, será posible reflexionar y avanzar en la comprensión de ¿Cómo y qué sujetos se construyen con los dispositivos de y por la vivienda? ¿Cómo se interrelacionan? ¿Cómo se materializa y espacializa, en una política pública, la estigmatización de la pobreza? ¿Qué mecanismos de violencia operan tras la racionalidad técnica de los objetos?

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.