6 resultados para Formal Policy Language

em Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina


Relevância:

20.00% 20.00%

Publicador:

Resumo:

En el contexto actual de cambios sociales, económicos, políticos, culturales y tecnológicos, el sistema de educación no formal de la Provincia de Córdoba enfrenta el desafío de adecuar su enfoque y sus prácticas para poder operar como un verdadero “nexo” entre las personas y el trabajo en pro de un desarrollo regional sustentable. Es por ello, que adquiere significado y relevancia: conocer los perfiles y competencias profesionales/laborales requeridos en cada una de las regiones del territorio jurisdiccional y de ese modo avanzar en la re-definición de las ofertas de formación existente para potenciar el desarrollo productivo. Desde esta perspectiva, este estudio tiene por objetivos identificar, describir y sistematizar las necesidades formativas que requieren el desarrollo regional para generar ofertas educativas no formales o adecuar u optimizar aquellas existentes. El mismo será de tipo exploratorio-descriptivo, desarrollándose en dos instancias: en la primera una investigación bibliográfica y, en la segunda, trabajo de campo focalizado en las regiones socio-productivas de la provincia. La primera aproximación permitirá revisar la literatura y sistematizar de manera organizada, la información existente respecto de la formación profesional y laboral. En cambio, en la segunda pretendemos, a partir de la consulta a personas e instituciones claves, analizar la situación de dicha formación en las distintas regiones de la Provincia de Córdoba desde una perspectiva cuanti-cualitativa. Para ello, se elaborará y aplicará: cuestionarios auto administrado (29 Centros de Desarrollo Regional CeDeR); encuestas (100), entrevistas (30) y se organizarán mesas de trabajo focales regionales (7) de las que participarán informantes claves del sector productivo y educativo con el propósito de conformar un mapa de ofertas y demandas formativas que potencien un desarrollo socio-económico regional sustentable. Ambas miradas, la bibliográfica y de campo, se efectuarán en torno de las siguientes categorías de análisis: a) desarrollo socio-económico regional; b) oferta y demandas de formación profesional y laboral. Se espera como resultado del presente estudio una caracterización socio-cultural y productiva de las regiones, la descripción de la oferta existente y su correspondencia con las demandas de formación profesional y laboral en virtud del desarrollo económico y social a nivel regional y por ende provincial en pro de contribuir en el corto plazo con una vinculación real entre educación y el trabajo socialmente productivo.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabajo parte de la inquietud de cómo organizar y articular los recursos diplomáticos, económicos, tecnológicos y culturales que cuenta la Argentina en África, para incentivar e incrementar las vinculaciones entre ambas regiones. Teniendo en cuenta los nuevos escenarios emergentes del espacio africano y los lineamientos de política exterior ensayados por nuestro país en los últimos años, nuestro período de análisis se concentrará entre los años 2002 y 2007. Sostenemos que el desarrollo de una estrategia articulada y permanente hacia el África requiere un aprovechamiento más eficaz y eficiente de los recursos humanos, financieros y tecnológicos existentes. De esto modo, la Argentina podría posicionarse como un socio relevante en la agenda de los países africanos, proveyendo productos, tecnología y servicios a mercados complementarios y en expansión. El objetivo general del proyecto es reconocer las transformaciones recientes del diseño exterior argentino hacia los mercados emergentes, en particular hacia África.El abordaje de esta investigación tiene características tanto cualitativas como cuantitativas, al tiempo que pretende alcanzar un nivel de explicación debido al tipo de propuesta. Nuestras unidades de observación son aquellas instituciones y personalidades vinculadas a la elaboración e implementación de la política exterior de Argentina hacia los estados africanos en su conjunto (tanto de África Subsahariana como de África del Norte). En cuanto a las técnicas aplicadas se pueden reconocer diversas fases. En primera instancia se llevará adelante una exploración documental en la Cancillería argentina destinada a cubrir los principales lineamientos respecto al tema. Luego se revisarán documentos producidos por organismos privados y por investigadores científicos. Al mismo tiempo se realizarán entrevistas semiestructuradas a los actores claves que participaron en el proceso de toma de decisiones.Con este trabajo nos proponemos concretar un manual que contenga de forma sistemática las normativas y las prácticas que ejercen cada uno de los actores, tanto públicos como privados, en torno a las vinculaciones entre Argentina y los países de África. Este ordenamiento nos permitirá ofrecer a los responsables de tomas de decisiones un marco articulado, accesible y didáctico para el diseño y la ejecución de futuras políticas hacia la región. Actualmente, los lazos políticos, culturales y de cooperación entre los países de ambas regiones manifiestan un creciente dinamismo, poniendo en juego nuevos terrenos de colaboración como las Cumbres América del Sur-África, las reuniones inter-ministeriales, la firma de acuerdos de comercio entre el Mercosur y algunos estados africanos, entre otros. Sin embargo a pesar de estas señales auspiciosas, los mercados africanos no han sido explorados con la suficiente constancia y profundidad. El desarrollo de este proyecto permitirá, en primer lugar, constituir un corpus de información sobre las normativas y las prácticas en torno los vínculos argentino-africanos. Por otro lado, será una herramienta indispensable para la planificación y concreción de futuras políticas en torno al área. Cabe aclarar que no se limita a organismos del Estado sino también involucraría a actores privados implicados o interesados con los mercados emergentes africanos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El presente proyecto pretende llevar adelante una caracterización de las estructuras de governance en dos áreas clave de política pública de la provincia de Córdoba como son el sistema previsional y el desarrollo vial. La hipótesis que guía la investigación es que estas dos áreas presentan una serie de ineficiencias que deben imputarse a factores institucionales que han impedido la generación de transacciones intertemporales eficientes y, en consecuencia, la adopción de políticas de largo plazo y de alta calidad. El objetivo general del proyecto es establecer los aspectos fundamentales de las estructuras de governance que han dado lugar a la configuración y a los resultados en estas dos áreas con el fin de realizar recomendaciones de rediseño institucional orientados a mejorar la eficiencia en estos ámbitos de la gestión pública. Los objetivos particulares son: 1) establecer las características básicas que ha asumido el policy making en el área previsional y de desarrollo de la red vial en los últimos años; 2) especificar en estas áreas los resultados de las políticas públicas, evaluándolos en términos de los resultados y elaborando al respecto una serie de indicadores que permitan establecer las brechas de eficiencia existentes; 3) establecer en cada caso las instituciones políticas implicadas y la organización de las reglas bajo las cuales las decisiones son tomadas, elaborando una serie de indicadores de “calidad institucional”; 4) precisar en cada área los actores involucrados (políticos, electores, burócratas y grupos de interés), estableciendo en cada caso los incentivos que instituciones vigentes implican para cada uno de ellos; 5) desarrollar en cada una de estas dimensiones una estrategia comparativa con la provincia de Santa Fé, de tal modo de poder dar mayor precisión a las conclusiones y a los respectivos indicadores; 6) Desarrollar un modelo formal que de cuenta de las características del proceso de policy making en las dos áreas estudiadas. La estrategia metodológica es una combinación del método comparativo con estudio de caso. Los casos seleccionados para la comparación, siguiendo el criterio de la máxima similitud, son Córdoba y Santa Fe. En cada uno de ellos se seguirá una estrategia de process-tracing, a partir de la cual, y sobre la base de diferentes técnicas de recolección de datos que incluyen pricipalmente la consulta documental y la realización de entrevistas semi-estructuradas, se procederá a reconstruir el proceso de policy making en las áreas de políticas estudiadas. La comparación permitirá mantener bajo cierto control algunas variables contextuales de tipo económico y social. Los resultados que se esperan obtener son: 1) un conjunto de indicadores relativos a la eficiencia de los resultados de las políticas estudiadas; 2) un conjunto de indicadores relativos a la calidad de las estructuras de governance en las áreas analizadas; 3) una evaluación comparativa respecto de la provincia de Santa Fé, de los incentivos derivados de las estructuras de governance en las áreas de políticas públicas estudiadas; 4) la identificación de los actores relevantes y sus orientaciones de comportamiento; 5) criterios de evaluación de los contextos institucionales más amplios que los correspondientes a las áreas especificadas pero vinculados a ellas; 6) modelos formales que den cuenta de los procesos de policy making y que permitan formular hipótesis fundadas sobre áreas diferentes de política pública; 7) una serie de recomendaciones bien fundamentadas empírica y analíticamente sobre diseño y rediseño institucional orientadas a mejorar el proceso de policy making en las áreas examinadas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El presente proyecto pretende llevar adelante una caracterización de las estructuras de governance en dos áreas clave de política pública de la provincia de Córdoba como son el sistema previsional y el desarrollo vial. La hipótesis que guía la investigación es que estas dos áreas presentan una serie de ineficiencias que deben imputarse a factores institucionales que han impedido la generación de transacciones intertemporales eficientes y, en consecuencia, la adopción de políticas de largo plazo y de alta calidad. El objetivo general del proyecto es establecer los apectos fundamentales de las estructuras de governance que han dado lugar a la configuración y a los resultados en estas dos áreas con el fin de realizar recomendaciones de rediseño institucional orientados a mejorar la eficiencia en estos ámbitos de la gestión pública. Los objetivos particulares son: 1) establecer las características básicas que ha asumido el policy making en el área previsional y de desarrollo de la red vial en los últimos años; 2) especificar en estas áreas los resultados de las políticas públicas, evaluándolos en términos de los resultados y elaborando al respecto una serie de indicadores que permitan establecer las brechas de eficiencia existentes; 3) establecer en cada caso las instituciones políticas implicadas y la organización de las reglas bajo las cuales las decisiones son tomadas, elaborando una serie de indicadores de “calidad institucional”; 4) precisar en cada área los actores involucrados (políticos, electores, burócratas y grupos de interés), estableciendo en cada caso los incentivos que instituciones vigentes implican para cada uno de ellos; 5) desarrollar en cada una de estas dimensiones una estrategia comparativa con la provincia de Santa Fé, de tal modo de poder dar mayor precisión a las conclusiones y a los respectivos indicadores; 6) Desarrollar un modelo formal que de cuenta de las características del proceso de policy making en las dos áreas estudiadas. La estrategia metodológica es una combinación del método comparativo con estudio de caso. Los casos seleccionados para la comparación, siguiendo el criterio de la máxima similitud, son Córdoba y Santa Fe. En cada uno de ellos se seguirá una estrategia de process-tracing, a partir de la cual, y sobre la base de diferentes técnicas de recolección de datos que incluyen pricipalmente la consulta documental y la realización de entrevistas semi-estructuradas, se procederá a reconstruir el proceso de policy making en las áreas de políticas estudiadas. La comparación permitirá mantener bajo cierto control algunas variables contextutales de tipo económico y social. Los resultados que se esperan obtener son: 1) un conjunto de indicadores relativos a la eficiencia de los resultados de las políticas estudiadas; 2) un conjunto de indicadores relativos a la calidad de las estructuras de governance en las áreas analizadas; 3) una evaluación comparativa respecto de la provincia de Santa Fé, de los incentivos derivados de las estructuras de governance en las áreas de políticas públicas estudiadas; 4) la identificación de los actores relevantes y sus orientaciones de comportamiento; 5) criterios de evaluación de los contextos institucionales más amplios que los correspondientes a las áreas especificadas pero vinculados a ellas; 6) modelos formales que den cuenta de los procesos de policy making y que permitan formular hipótesis fundadas sobre áreas diferentes de política pública; 7) una serie de recomendaciones bien fundamentadas empírica y analíticamente sobre diseño y rediseño institucional orientadas a mejorar el proceso de policy making en las áreas examinadas. La importancia del proyecto surge de la ausencia casi total de este tipo de estudios a nivel provincial en la Argentina y la relevancia que sus resultados pueden tener en términos del diseño e implementación de políticas socio-económicas en la provincia de Córdoba.

Relevância:

20.00% 20.00%

Publicador:

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.