1000 resultados para Lógicas moduladas
Resumo:
"Colecção: Comunicação e sociedade - 12"
Resumo:
Dissertação de mestrado em Direito dos Contratos e das Empresas
Resumo:
Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitetónica)
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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?
Resumo:
El plomo (Pb) es un neurotóxico del desarrollo con capacidad para alterar el balance redox del organismo y la actividad de enzimas antioxidantes, incluyendo catalasa (CAT). El etanol es una droga adictiva cuyos efectos motivacionales serían mediados por el acetaldehído, proceso catalizado por la enzima CAT cerebral. En base a estas consideraciones y a experimentos previos que demuestran un mayor consumo voluntario de etanol en ratas perinatalmente expuestas al Pb, se postula que esta enzima sería un sitio de acción común entre Pb (que induciría su activación a partir de la mayor producción de especies oxigenadas reactivas) y etanol (debido a la potenciación de la actividad de CAT producto de altas concentraciones de etanol en cerebro). En el presente proyecto se propone medir, en animales que han adquirido un patrón estable de consumo de etanol, la expresión cerebral de CAT por técnicas de Western blot y su actividad por técnicas espectrofotométricas en respuesta a: a) aminotriazol: AT (inhibidor de CAT; ver antecedentes), b) ácido 3-nitropropiónico: 3-NPA (activador de CAT), c) PEN, penicilamina (agente secuestrador de acetaldehído) y d) cianamida CIAN, inhibidor del metabolismo de acetaldehído). Se espera que la actividad y la abundancia de CAT estén influenciadas por la exposición a Pb y etanol y que respondan a las manipulaciones farmacológicas. Estos resultados serán complementados por mediciones de los niveles de etanol y acetaldehído en sangre. Se evaluará además la adquisición y reinstalación de las propiedades reforzantes tanto de etanol como de acetaldehído en la prueba de condicionamiento pavloviano asociado a un contexto. De observarse adquisición y/o reinstalación, se intentará bloquearla con AT o PEN, o por el contrario, restablecerla/potenciarla con 3-NPA o con CIAN. Se esperaría que el mayor consumo voluntario de etanol condicione una mayor conducta de búsqueda de la droga en el paradigma de preferencia a un sitio y que estas conductas puedan ser moduladas farmacológicamente por los agentes arriba descriptos. Estos resultados aportarán evidencias para el estudio de los mecanismos de acción de cada tóxico en particular, y para una nueva área de la Toxicología, la toxicidad de mezclas.
Resumo:
Estudios previos del laboratorio han demostrado que la depleción de sodio inducida por diálisis peritoneal (DP) produce una rápida caída en la concentración de sodio del suero y del fluido cerebrospinal entre las 1-4hs después de la DP; sin embargo el apetito específico por el sodio (AS) aparece recién 20 hs después cuando se han recuperado los niveles normales de sodio extracelular quizás por medio de fuentes reservorias del cuerpo como hueso e higado. En nuestros trabajos además hemos identificado las distintas áreas y sistemas neuroquímicos involucrados tanto en la fase apetitiva (24hs después de la DP) como en la fase de saciedad del AS (luego del consumo de NaCl hipertónico inducido por DP). En estos estudios la depleción de sodio incrementó la actividad neuronal, evidenciada mediante la inmunoreactividad a Fos (ir-Fos), a lo largo de los órganos circunventriculares (OCVs) de la lamina terminalis (LT): órgano subfornical (SFO) y órgano vasculoso de la lamina terminalis, y diminuyó ir-Fos de las neuronas serotoninérgicas del núcleo del rafe dorsal (DRN), sugiriendo su participación en la génesis del AS. Por otro lado, durante la fase de saciedad la ir-Fos se incrementó dentro de áreas del tronco encefálico como el núcleo del tracto solitario, área postrema, núcleo parabraquial lateral (LPBN), neuronas serotoninérgicas del DRN y a lo largo de las células oxitocinérgicas hipotalámicas indicando su participación en la inhibición del AS. A pesar del conocimiento acumulado acerca de la regulación central del AS, hasta el momento, no se conocen cuales son los mecanismos, áreas y sistemas neuroquímicos involucrados en la disociación temporal existente entre la depleción de sodio y la aparición del AS. Numerosas líneas de evidencia sugieren que el AS es estimulado por la misma señal molecular que la sed hipovolemica, principalmente angiontensina II (ANGII), pero no se manifiesta porque es bloqueada por una señal inhibitoria dominante. Se sugiere que los efectos estimulatorios de ANGII sobre la ingesta de agua y sodio involucran la interacción con el circuito serotoninérgico (5HT) inhibitorio central. El circuito 5HT central que subyace a esta interacción incluye principalmente conexiones bidireccionales entre los OCVs de la LT donde se estimula la sed y AS y los somas 5HT del DRN y los terminales 5HT presentes en el LPBN donde se inhibiría el AS. Consistente con estos datos, la lesión del DRN y la inyección de antagonistas serotoninérgicos en el LPBN provocan un aumento significativo en el consumo de sodio inducido por distintos modelos experimentales.Nuestros resultados recientes indican que ya a las 2hs luego de la DP se incrementa la actividad de renina plasmática y a nivel central se observa una actividad tónica de las neuronas serotoninérgicas del DRN y la activación simultánea de los OCVs de la LT y de los núcleos de tronco encefálicos, estructuras previamente involucradas tanto en la fase apetitiva como de saciedad respectivamente. Con lo cual, es posible hipotetizar que el sistema 5HT a nivel del tronco (DRN, LPBN) estaría impidiendo el consumo de sodio estimulado por ANGII a las 2hs de la depleción de sodio corporal cuando se produce la caída en la natremia y en la volemia pero el AS no se manifiesta. De acuerdo con esto nos proponemos evaluar el efecto de una lesión transitoria y reversible del DRN, y el antagonismo del sistema 5HT a nivel del LPBN a las 2hs de realizada la DP sobre la ingesta de sodio. Además, se utilizará la técnica de registro electrofisiológico in vivo que nos permitirá estudiar la interconexión sináptica funcional entre el DRN y el SFO ante la infusión icv de ANGII. Esperamos observar un incremento en el consumo de sodio 2hs después de la DP, producido por el bloqueo transitorio o antagonismo del sistema serotoninérgico en el DRN o LPBN respectivamente. Además creemos posible que disminuya la actividad eléctrica de las neuronas 5HT del DRN que son moduladas por el SFO ante la inyección icv de AII.
Resumo:
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.
Resumo:
Abordar la infancia desde el enfoque de derechos (ED) implica una lectura de los derechos de los cuales los niños, niñas y adolescentes (NNA) son titulares y de las acciones estatales que se implementan para viabilizar el ejercicio concreto de ellos. Esta perspectiva exige comprender los contenidos de las políticas púb,el grado de participación que se les asigna y los sentidos que ellas toman en términos de progresividad de los derechos. Los cambios de concepción de la infancia desde la Convención Internacional de los Derechos del Niño (CIDN) y los cambios legislativos interpelan al Estado y la sociedad a modificar la visión hegemónica. Nuestra hipótesis gira alrededor de las siguientes considerac.: se han producido algunas modificaciones en las políticas y acciones estatales, aún no se dan las transformaciones necesarias de las lógicas institucionales y de los operadores que estimulen la participación de NNA en el ámbito escolar. Esto se visualiza en la ausencia de análisis cuali de los contenidos de las acc. y la falta de ftes estadísticas específicas, que muestren la orientac.de los contenidos en los principios de la protecc.integral. Estos presupuestos plantean interrogantes que delimitan el problema de investigación: ¿cómo se construye y reconstruye el ejercicio de la ciudadanía a través de la participación de los NNA, en su paso por la escuela, y cuáles son las lógicas institucionales que habilitan u obstaculizan ese ejercicio? Y ¿cuáles son los recursos institucionales que permitan que los programas y acciones redunden en el ejercicio efectivo de los derechos?.Obj.gral: Describir, analizar e interpretar la progresividad en el ejercicio de los derechos de participación e informacióin que tienen los adolescentes en escuelas secundarias de la cd de Cba, durante 2005 / 2010, para promover espacios públicos de construcción de ciudadanía. Se analizarán tres escuelas de Córdoba, escuela pública provincial, púb. nacional y privada. Obj. Espec.: Analizar las prácticas participativas formales e informales en las escuelas seleccionadas.- Aplicar indicadores cuanti y cualitativos del “Sistema de Indicadores para los derechos de la Infancia” Describir y analizar los recursos materiales y humanos. Elaborar y proponer procedim. para la confec. de registros de datos estadísticos - Elaborar y proponer lineamientos para la elaborac.e implementac.de acciones. Diseñar herramientas de difusión sobre los ds de participación e información.Esta investigac. es de carácter descriptivo e interpretativo, analizará diferentes ftes de informac.con técnicas cuanti y cualitativas, durante período la promulgación de la Ley 26061/05 y la adhesión prov. 9396/07. Se tomarán del Sistema de Indicadores, el derecho a la educación, el tema transversal “Acceso a la información y participación”, y las categorías de análisis “Recepción del Derecho y Capacidades estatales”. Se trabajaran indicadores cuanti y señales de progreso (cualitativos): estructurales, proceso y resultados. Serán analizados los Programas implementados durante el período de estudio. Estrategias cuali observac. participante, entrevistas, grupos focales, talleres de sensibilización, etc .Otras ftes de info: doc. institucionales, registros, evaluac, contenidos de programas y campañas y de difusión, prensa escrita, legislaciones, etc. La info se analizará a través Programa Atlas Ti, y del análisis estadístico. Algunos resultados esperados: Evaluac.y ajuste del Sistema de indicadores, la sensibilizac. desde el EF de autorid. escol. para la formulac. de planes y programas para el monitoreo adecuado de los mismos y para la rendic. de ctas de su gestión. Estimular la participac. de NNA en la escuela. Realizac.de documental. Brindar herramientas al Edo para superv de la aplicación progresiva del ejercicio de los derechos de participación e información de NNA Promov la continua evaluac. de los programas y acc.desde el ED para estimular el reconoc. de la nec.de ajuste de la política. The issue of children from the rights focus implies a reading of the rights in which children and adolescents are the holders and the state actions that are implemented to enable the exercise of them. This perspective requires understanding the contents of the public policies, the participation level that is assigned, and the senses that they take in terms of rights progressivity of. The conception changes about children since the International Convention on the Rights of the Child and legislative changes challenge to the State and society to modify hegemony vision. Our hypothesis revolves around the following considerations: there have been some public policies and state actions changes, but they not turn out, yet, transformations in logical institutional and actors whose are encourages children participation in school. This could be reflects in the absence of qualitative analysis in the actions contents and the lack of sources specific statistics, that will be showing the control of the principal contents of integral protection. These, raise the questions that delimit our problem research: how is built citizenship exercise through children and adolescent’s participation in the school, and what are the institutional logical that empowers or turns difficult that exercise? And What are the institutional resources that make possible the effective exercise of the rights, through different programs and actions?. General Objective: To describe, analyze and interpret exercise progressivity participation and information rights that have the adolescents in secondary schools in Córdoba City during 2005 / 2010, in order to promote public spaces for the construction of citizenship. It will analyze three schools in Cordoba, provincial public school, national public school and private school. . Obj. Specifics: To analyze the formal and informal participative practices in the schools selected. - To apply quantitative and qualitative indicators of the “Indicators System for Infa