1000 resultados para ANÁLISIS DE REDES ELÉCTRICAS
Resumo:
El Virus de la Inmunodeficiencia Humana (VIH) afecta principalmente a la respuesta inmune específica causando una pérdida progresiva de los linfocitos T CD4+. Este virus también puede afectar a células del sistema inmune innato, como los Polimorfonucleares Neutrófilos (PMN). Los objetivos propuestos para esta etapa del proyecto son: a) investigar el efecto de la infección por VIH sobre la apoptosis de PMN, b) analizar la expresión de moléculas y receptores de reconocimiento de patrones moleculares asociados a patógenos en estas células y c) evaluar el impacto de la terapia antirretroviral sobre la apoptosis y expresión de moléculas y receptores en PMN. Se incluirán individuos en distintos estadios de la infección con o sin tratamiento antirretroviral y se determinarán parámetros hematológicos, inmunológicos y virológicos a fin de correlacionar el nivel de apoptosis y expresión de moléculas y receptores con el nivel de linfocitos T CD4+ y carga viral. La importancia de los PMN en el control de la infección por el VIH es actualmente un área de mucho interés, ya que pueden ejercer un efecto anti-VIH directo, y al mismo tiempo, ser blancos de la infección viral. Comprender los aspectos claves en la cascada de la apoptosis de estas células podría en un futuro aportar posibles blancos terapéuticos, que permitan restaurar la función de los PMN durante la infección VIH/SIDA.
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:
La literatura que señala las limitaciones de los gobiernos locales y los estudios sobre la coordinación hacen evidente dos problemáticas de gran trascendencia que se encuentran actualmente en debate: por un lado, la definición y redefinición de las escalas apropiadas en asuntos que implican externalidades entre territorios con diversas unidades político-administrativas y, por otro lado, la manera en que la coordinación-conducción socio-política resuelve lo común en marcos de interdependencia entre actores con autonomía relativa. Los resultados comunes (entendiendo por esto la situación generada por las políticas y las no-políticas) devienen de decisiones colectivas tomadas en los procesos de coordinación-conducción socio-política mediante múltiples y coexistentes relaciones de cooperación, conflicto e indiferencia entre actores interdependientes. En espacios de interdependencia inter-local la resolución de múltiples problemáticas comunes requiere de relaciones de coordinación intergubernamental, horizontal y vertical, y con la sociedad civil. Las regiones metropolitanas resultan ser espacios que muestran de manera muy clara las situaciones de interdependencia y la necesidad de cooperación, principalmente entre unidades gubernamentales, por lo que se convierten en un objeto de estudio apropiado para indagar la problemática de la interdependencia y la coordinación. En atención a este asunto el objetivo de este plan de trabajo es observar y analizar la coordinación-conducción socio-política en las regiones metropolitanas de Córdoba y Rosario en la actualidad.
Resumo:
Los negocios vinculados al Agro han crecido en forma importante en la Argentina en los últimos diez años. Este comportamiento se ha dado a partir de dos variables estratégicas, una el precio de los productos y la segunda los niveles de eficiencia tecnológica y productiva, esta última puede ser mejorada para que el sistema tienda a ser más sustentable, pudiéndose generar un "plus de valor" para el consumidor y mayor rentabilidad para la empresa. Para que una empresa en el marco de los agronegocios pueda crear valor a lo largo de la cadena, debe lograr diferenciación, para ello se propone el desarrollo de un proyecto que permita al consumidor obtener productos en condiciones organolépticas óptimas evitando el corte anticipado de frutas y verduras con el consiguiente degradado de las condiciones de calidad desde una visión sistémica de la cadena de abastecimiento y distribución, a través de un proceso que agregue valor para el consumidor, desde un nuevo enfoque mas integrador. La madurez en la cosecha es el factor determinante de la vida comercial, del precio y de la calidad final de la fruta. Cuando los frutos se cosechan fisiológicamente inmaduros evolucionan perdiendo firmeza pero no manifestarán el aroma y sabor característicos, siendo más susceptibles a marchitamiento y a daños mecánicos. Si se cosechan sobre maduros, pronto se vuelven blandos e insípidos y son más difíciles de manipular y comercializar. Para poder ser comercializados se deben cosechar en madurez fisiológica pero no con la madurez óptima para el consumo, esto hace crítica esta primera etapa de la cadena de abastecimiento. Como consecuencia, la cosecha del sector coincide para cada uno de los rubros explotados, generando una oferta significativa de un producto específico (un ejemplo es que todos los productores cosechan al mismo tiempo la lechuga) lo que satura el mercado. El valor de la producción es fijado por la ley de la oferta y la demanda por lo que se obtiene un escaso rendimiento en el momento de la comercialización. El objetivo del presente proyecto es generar una alternativa tecnológica, que permita a los productores, poder extender el lapso de aptitud del producto y de esta manera originar nuevas posibilidades de estrategia comercial para consumo interno y para exportación. La aplicación del envasado al vacío o con atmósfera modificada (EAM) prolonga la conservación de la calidad de los productos alimenticios. En este proceso es indispensable poder detener o disminuir los mecanismos químicos y biológicos que determinan la descomposición de los alimentos. El EAM consiste en el envasado de productos alimenticios en una atmósfera distinta a aquella natural y constituida por mezclas de gases en distintas proporciones, principalmente oxígeno, nitrógeno, dióxido de carbono y óxido nitroso. La EAM ofrece ventajas con respecto a otros métodos de embalaje, ya que además de extender el período de conservación, mantiene la calidad organoléptica de las frutas y vegetales frescos, característica fundamental para atraer la atención de los consumidores. El impacto esperado de esta aplicación tecnológica permitirá: 1. La prolongación de la conservación, permitiendo explotar las economías de escala de producción, mejorar la gestión de las provisiones y costos de transporte, generar nuevas estrategias comerciales, extender la propia producción a otros mercados. 2. Los materiales de los embalajes son fabricados de acuerdo a las normas de inocuidad que mantienen la calidad del producto, resaltando la estética de la presentación. 3. El aspecto ambiental de este proceso, es menos contaminante, ya que se reducen o eliminan los aditivos y conservantes. 4. En el desarrollo de esta transición se generan relaciones sociales que permiten detectar carencias y recursos que pueden ser compartidos por los distintos actores, contribuyendo al desarrollo integral de los participantes.
Resumo:
El extenso uso de pavimentos impermeables trae consigo, sobre todo en áreas de un importante desarrollo urbano, considerables problemas en la evacuación de las aguas lluvias. El uso indiscriminado de estas estructuras en áreas urbanas, disminuye notoriamente la capacidad de recarga natural de agua en los terrenos, e incrementa de forma considerable el volumen y el caudal del escurrimiento superficial, aumentando el riesgo de provocar inundaciones. Además, cuando el agua de las lluvias escurre, arrastra consigo materiales sólidos y contaminantes depositados en calles y estacionamientos. Una de las alternativas posibles para la remediación de esta problemática es el uso de pavimentos porosos. Lamentablemente, en nuestro país no se ha extendido la aplicación de estas tecnologías que conllevan importantes beneficios económicos y ambientales, entre los cuales pueden citarse la mejora en la calidad de los efluentes pluviales, la flora arbórea urbana más longeva y mejor desarrollada, la reducción del efecto de “isla térmica” en las grandes ciudades, la reducción notable de la contaminación acústica, el aumento de la seguridad vial, y reducción de costos, considerando integralmente el sistema vial y el sistema de drenaje pluvial. Los beneficios ambientales descriptos justifican plenamente su amplio uso en los países desarrollados. Como objetivo principal se plantea caracterizar experimentalmente el comportamiento hidrológico-ambiental de pavimentos porosos que puedan ser fabricados con materiales y tecnología local, e inferir los posibles beneficios que su uso pudiera acarrear en el medio ambiente. Como metodología se propone el estudio teórico-experimental, desde la tecnología de los materiales, en el diseño y conocimiento de las propiedades en estado fresco y endurecido y en la durabilidad de hormigones porosos elaborados con materiales locales. Para la caracterización hidrológica se fabricarán parcelas de pavimento poroso, las cuales serán ensayadas mediante el uso de un microsimulador de lluvia, midiendo la intensidad de lluvia generada y el escurrimiento superficial resultante. Estos experimentos podrán repetirse para distintas intensidades de lluvia generada, la cual puede graduarse en el rango de 65 a 120 mm/h. A partir de los datos recopilados, podrán ajustarse parámetros hidrológicos que permitan describir el comportamiento de estas superficies, en comparación con la situación natural y la actual (pavimentos impermeables). Se ajustarán modelos de infiltración que permitan extrapolar en forma hipotética la situación a escalas mayores, y cuantificar preliminarmente los beneficios hidrológico-ambientales que produciría este tipo de tratamiento superficial en el ambiente urbano. Como resultados de este proyecto se espera obtener: una verificación de las posibilidades de los materiales locales, brindando bases evolucionadas para su empleo en la construcción; una metodología para caracterizar en forma preliminar la capacidad de infiltración de muestras reducidas de pavimento poroso; un sensor electrónico para automatizar las mediciones del microsimulador de lluvia; una metodología para caracterizar experimentalmente la capacidad de infiltración de los pavimentos porosos propuestos, basada en el uso del simulador de lluvia disponible en el Laboratorio de Hidráulica; un conjunto de resultados experimentales que posibiliten analizar el comportamiento hidrológico-ambiental de estas superficies; un conjunto de parámetros que permitan cuantificar la respuesta hidrológica de estos pavimentos y una estimación preliminar de los hipotéticos beneficios asociados al uso de estas tecnologías. Se considera que el Proyecto puede servir como puntapié inicial para el análisis de viabilidad, a nivel local, del uso de tecnologías de pavimentación novedosas en el país, pero con varias décadas de experiencia a nivel internacional. Los beneficios medioambientales asociados a los pavimentos porosos, justifican plenamente su investigación a nivel local.
Resumo:
Se indagará principalmente acerca del rol de los procesos neutrales, como la deriva génica, de procesos selectivos, como la selección natural mediada por polinizadores y de procesos históricos (geológicos y climáticos del pasado) en la diversificación floral tanto a escala microevolutiva como macroevolutiva. La heterogeneidad ambiental que se presenta en amplios rangos geográficos puede promover la diferenciación entre poblaciones debido a las diferencias en condiciones físicas y biológicas. De esta manera, especies ampliamente distribuidas ofrecen la oportunidad de explorar la dinámica de los procesos evolutivos que tienen lugar a nivel interpoblacional (Dobzhansky 1970, Thompson 1999). El estudio comparativo entre especies hermanas permite comprender cómo la selección natural (adaptación) y la inercia filogenética (herencia ancestral) han modelado los rasgos de las especies que observamos en la actualidad (Díaz 2002, Schluter 2000, Futuyma 2005). Uno de los usos más importantes de la información filogenética es el de reconstruir la historia del cambio evolutivo en caracteres adaptativos mediante su mapeo en la filogenia y la reconstrucción del estado de estos caracteres en el ancestro. Así, la asociación entre transición de caracteres y transiciones en grupos funcionales es una evidencia directa de la hipótesis adaptativa de que los rasgos son seleccionados por grupos funcionales de polinizadores. Una aproximación filogenética puede permitir identificar la dirección y el tiempo de evolución. Todos estos aspectos señalan la necesidad de adoptar una perspectiva conceptualmente integrada (morfológica, genética, filogenética, filogeográfica y ecológica) en el estudio de la biología evolutiva de las flores. Estudiar como actúan los procesos micro- y macroevolutivos en las interacciones planta-polinizador, en una dimensión espacial y temporal, arrojará resultados importantes tanto en el campo teórico como en el de la conservación. Por una parte, permitirá poner a prueba hipótesis relevantes sobre la adaptación de caracteres, mientras que explorará los procesos evolutivos que subyacen a las tramas de las interacciones planta-polinizador; por otro lado, comprender el rol de los cambios climáticos pasados en la diversificación biológica es interesante tanto desde una aproximación evolutiva como desde la biología de la conservación (Avise 2000; Moritz et al. 2000; Petit et al. 2003; Hewitt 2004). Géneros a ser estudiados en este proyecto: 1- Anarthrophyllum (Fabaceae,15 spp), 2- Monttea (Plantaginaceae, 3 spp), 3- Caleolaria (Calceolariaceae 3 spp), 4- Centris (Apidae, 1 spp), 5- Jaborosa (Solanaceae, 23 spp). Metodología: Mapeado de las poblaciones. Elenco de polinizadores, frecuencia. Obtención y medición de caracteres fenotípicos florales. Néctar: concentración y vol. Aceites (peso); Morfometría geométrica (Zelditch et al. 2005). Éxito reproductivo (Dafni & Kevan 2003). Caracteres genéticos: extracción, amplificación y secuenciación: en Calceolaria se utilizarán 2 genes de cloroplasto trnH-psbA y trnS-trnG y genes anónimos nucleares de copia única (scnADN), para Jaborosa se utilizarán 3 genes de cloroplasto (trnH-psbA, TrnD-trnT y ndhF-rp32) y el gen nuclear GBSSI waxy. Finalmente para Centris cineraria se usaría el tRNA ILE y NADH Deshidrogenada subunidad 2. Análisis filogenéticos de parsimonia (Goloboff et al. 2000, Kitching et al. 1998, Nixon 2002, Farris et al. 1996, Sorenson 1999); Filogeografía: reconstrucción de redes por parsimonia (Clement et al. 2000; Posada et al. 2000), análisis de clados anidados (NCPA). Se usarán las claves de inferencia (Templeton 2004). Para todos estos análisis se utilizarán los siguientes programas: DnaSP, Network, Arlequin, MrBayes, Paup, ModelTest, Beast, TNT, WinClada TCS y GeoDis. Estadística multivariada: Los diferentes rasgos florales mencionados se analizarán utilizando distancias de Gower (datos cualitativos) y euclídeas (datos cuantitativos) mediante la técnica multivariada ACoP.
Resumo:
Los documentos audiovisuales contienen en un mismo soporte información visual y sonido; asimismo, se caracterizan por su opacidad, es decir requieren de un dispositivo tecnológico para su grabación, transmisión y comprensión. En la actualidad, constituyen un importante acervo cultural que merece ser resguardado y puesto a disposición de la comunidad científica y del público en general como expresión de la memoria colectiva y de la cultura de nuestra sociedad. Somos conscientes de la existencia de un cúmulo significativo de material audiovisual, hoy conservado en soportes tecnológicos que han caído en desuso, lo cual implica dos grandes riesgos: por un lado, la posibilidad de pérdida o deterioro de la información contenida en ellos; por otro, la creciente dificultad para acceder a su contenido debido a la obsolescencia de los equipos necesarios para reproducirlos. En consecuencia, este proyecto se propone recuperar y resguardar en un soporte tecnológico actual y seguro: 1) el material audiovisual producido en el marco del programa televisivo Encuentros, conducido por el periodista Kuroki Murúa, emitido entre 1990 y 1998 por los Servicios de Radio y Televisión de la Universidad Nacional de Córdoba, el cual consistía en la realización de entrevistas a historiadores, sociólogos, escritores, psicoanalistas y la emisión de informes sobre manifestaciones culturales de diversa índole; 2) los discursos emitidos por los gobernadores e intendentes de Córdoba, asi como de los principales dirigentes de la oposición, difundidos por radio y televisión desde la recuperación de la democracia hasta 2001. El primer conjunto está registrado en cassettes VHS, lo cual implica un serio riesgo para la seguridad de ese material porque es sabido que el simple paso del tiempo produce un deterioro irreparable en las cintas; además requiere de un dispositivo tecnológico para su reproducción que actualmente no está disponible en el mercado. El segundo conjunto está disperso en los archivos de las distintas emisoras de radio y televisión de la ciudad de Córdoba. Estos propósitos se insertan dentro de las actividades que desde 1998 se desarrollan en el Archivo de la Palabra del Centro de Estudios Avanzados de la Universidad Nacional de Córdoba. El Archivo de la Palabra fue creado como un espacio para la creación de fuentes orales producto de investigaciones referidas a la historia política de Córdoba, como también un lugar de reunión y resguardo de las entrevistas realizadas en el marco de investigaciones que contemplaran el uso de este tipo de fuente. En esta instancia, nos proponemos ampliar los objetivos planteados inicialmente incorporando al acervo documental del Archivo, material audiovisual como el correspondiente al programa Encuentros y los discursos políticos a los que hemos hecho referencia. A los propósitos mencionados anteriormente se suman fortalecer la vinculación con redes, archivos orales, asociaciones y centros de investigación que contemplen el uso de fuentes orales e impulsar la formación de recursos humanos en el tratamiento y conservación de fuentes documentales orales y audiovisuales. La realización de este proyecto implica la prosecución de la siguiente metodología: búsqueda y localización del material audiovisual, conservación en un formato adecuado, clasificación, catalogación, puesta a disposición del público. Consideramos que este proyecto contribuirá a la recuperación, resguardo, difusión y utilización de un importante acervo documental que actualmente, debido a las condiciones de mantenimiento en las que se encuentra y a los formatos en los que está registrado corre el riesgo de perderse. Además, el material aludido constituirá un aporte fundamental para el estudio, análisis y comprensión de nuestro pasado reciente como así también para la revalorización de la memoria colectiva de nuestra sociedad. El estudio tiene como límites temporales dos años claves en la historia política argentina: 1983 y 2001.
Resumo:
El presente proyecto se propone integrar en una investigación tres dimensiones de la proyección identitaria de Argentina en el sistema internacional, como son la construcción mediática de la realidad, las estrategias de comunicación y participación de la sociedad civil y las definiciones en torno a la marca país. En tal sentido, se explorará la incidencia de estas tres dimensiones en la política exterior argentina en el período 2003-2011. Se parte del supuesto de que las producciones periodísticas se alejan cada vez más del ideal de política de comunicación exterior, al tiempo que se acercan en alianzas a las entidades de participación ciudadana. Esta relación muchas veces supera el impacto y construcción de realidad hacia afuera de aquellas estrategias de comunicación formales que diseña el estado argentino. Por un lado, la influencia de la producción mediática, de la sociedad civil y de la marca país no han sido consideradas en forma acabada en el estudio de las relaciones internacionales, a pesar de que los paradigmas actuales les otorgan a estas dimensiones un papel relevante en la construcción de imagen y posicionamiento internacional de los países. Por otro lado, la identificación de estas dimensiones como factores que inciden en la política exterior dan cuenta de un cambio de paradigma en las relaciones internacionales en épocas recientes, en tanto se suman a las dimensiones tradicionales vinculadas al paradigma realista. Finalmente, los hallazgos de este estudio servirán de base para el diseño de una política exterior que amplíe las dimensiones exclusivas del ámbito diplomático, a la vez que integre políticas dispersas relativas a comunicación, medios, participación ciudadana y marca país.
Resumo:
Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.
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.