1000 resultados para programació orientada a objectes
Resumo:
Esta ponencia se dispone a recuperar reflexivamente los espacios de apropiación de los saberes necesarios de los estudiantes para la continuidad de sus estudios superiores. Se trata de acortar la brecha existente en entre el nivel universitario y la escuela secundaria, generando espacios simbólicos de interacción que permitan a los estudiantes abrir un espacio de posibilidades para que ese habitar la Universidad sea un posible plasmable en términos de derecho. La Educación es parte constitutiva y central de todo proyecto político. No es posible profundizar un proyecto de país basado en la justicia social sin una política educativa acorde a éste. Una sociedad democrática y justa, necesita de sujetos educados. (DES-DGCyE) En este sentido, garantizando el derecho social a la educación de nuestros estudiantes es que desplegamos estrategias de articulación tendientes al propósito de que continúen sus estudios superiores. En este clima general de expansión de derechos (educativos) aparece la centralidad del estado como garante de estos derechos, y la muy reciente obligatoriedad de la secundaria , hará que muchos jóvenes de los contextos con mayor vulnerabilidad de los sectores populares, a quienes este derecho se les estaba postergado, empiecen, continúen y terminen sus estudios secundarios vislumbrando la posibilidad de sus estudios universitarios se concrete. Sólo cuando la Educación Secundaria es una obligación puede la educación universitaria ser pensada como derecho. Esta representación de los estudios universitarios como un derecho es una tendencia de Argentina y América Latina que viene a plasmarse desde el 2009 en la importantísima Declaración final de la Conferencia Mundial sobre Educación Superior, UNESCO, que establece que los estudios superiores son un bien público y social, un derecho humano universal y una responsabilidad de los Estados. Esta concepción nos interpela a revisar prácticas, tradiciones, rutinas, representaciones. Nos interpela a poner en diálogo el nivel secundario con el campo universitario. A ese desafío nos comprometemos tanto los actores del sistema educativo como los del nivel universitario en este proyecto de articulación que socializamos a través de esta ponencia. Hay una Educación Física que se pone al servicio del ser humano, de sus necesidades educativas, de su transformación, en ese sentido nos proponemos un camino común (escuela-universidad) que rompa el paralelismo y encuentre un punto de intersección que es enlace y a su vez partida de nuevos recorridos para posibilitar en clave de derecho que nuestros estudiantes, habiten la universidad
Resumo:
Esta ponencia se dispone a recuperar reflexivamente los espacios de apropiación de los saberes necesarios de los estudiantes para la continuidad de sus estudios superiores. Se trata de acortar la brecha existente en entre el nivel universitario y la escuela secundaria, generando espacios simbólicos de interacción que permitan a los estudiantes abrir un espacio de posibilidades para que ese habitar la Universidad sea un posible plasmable en términos de derecho. La Educación es parte constitutiva y central de todo proyecto político. No es posible profundizar un proyecto de país basado en la justicia social sin una política educativa acorde a éste. Una sociedad democrática y justa, necesita de sujetos educados. (DES-DGCyE) En este sentido, garantizando el derecho social a la educación de nuestros estudiantes es que desplegamos estrategias de articulación tendientes al propósito de que continúen sus estudios superiores. En este clima general de expansión de derechos (educativos) aparece la centralidad del estado como garante de estos derechos, y la muy reciente obligatoriedad de la secundaria , hará que muchos jóvenes de los contextos con mayor vulnerabilidad de los sectores populares, a quienes este derecho se les estaba postergado, empiecen, continúen y terminen sus estudios secundarios vislumbrando la posibilidad de sus estudios universitarios se concrete. Sólo cuando la Educación Secundaria es una obligación puede la educación universitaria ser pensada como derecho. Esta representación de los estudios universitarios como un derecho es una tendencia de Argentina y América Latina que viene a plasmarse desde el 2009 en la importantísima Declaración final de la Conferencia Mundial sobre Educación Superior, UNESCO, que establece que los estudios superiores son un bien público y social, un derecho humano universal y una responsabilidad de los Estados. Esta concepción nos interpela a revisar prácticas, tradiciones, rutinas, representaciones. Nos interpela a poner en diálogo el nivel secundario con el campo universitario. A ese desafío nos comprometemos tanto los actores del sistema educativo como los del nivel universitario en este proyecto de articulación que socializamos a través de esta ponencia. Hay una Educación Física que se pone al servicio del ser humano, de sus necesidades educativas, de su transformación, en ese sentido nos proponemos un camino común (escuela-universidad) que rompa el paralelismo y encuentre un punto de intersección que es enlace y a su vez partida de nuevos recorridos para posibilitar en clave de derecho que nuestros estudiantes, habiten la universidad
Resumo:
El rendimiento de alumnos "recursantes" resulta a menudo pobre, en virtud de la desidia y falta de motivación que los mismos demuestran. El curso de Química Orgánica de la Facultad de Ciencias Agrarias y Forestales (UNLP) trabaja desde hace varios años conformando comisiones constituidas exclusivamente por dichos alumnos, en las mismas se realiza un acercamiento didáctico diferente al habitual. En el presente trabajo se caracterizan de los alumnos recursantes, así como la modalidad de trabajo con los mismos; a su vez se evalúa el rendimiento de los alumnos en comparación con los no-recursantes, en función de las estadísticas de los últimos diez años y de las encuestas realizadas a los alumnos.
Resumo:
Esta ponencia se dispone a recuperar reflexivamente los espacios de apropiación de los saberes necesarios de los estudiantes para la continuidad de sus estudios superiores. Se trata de acortar la brecha existente en entre el nivel universitario y la escuela secundaria, generando espacios simbólicos de interacción que permitan a los estudiantes abrir un espacio de posibilidades para que ese habitar la Universidad sea un posible plasmable en términos de derecho. La Educación es parte constitutiva y central de todo proyecto político. No es posible profundizar un proyecto de país basado en la justicia social sin una política educativa acorde a éste. Una sociedad democrática y justa, necesita de sujetos educados. (DES-DGCyE) En este sentido, garantizando el derecho social a la educación de nuestros estudiantes es que desplegamos estrategias de articulación tendientes al propósito de que continúen sus estudios superiores. En este clima general de expansión de derechos (educativos) aparece la centralidad del estado como garante de estos derechos, y la muy reciente obligatoriedad de la secundaria , hará que muchos jóvenes de los contextos con mayor vulnerabilidad de los sectores populares, a quienes este derecho se les estaba postergado, empiecen, continúen y terminen sus estudios secundarios vislumbrando la posibilidad de sus estudios universitarios se concrete. Sólo cuando la Educación Secundaria es una obligación puede la educación universitaria ser pensada como derecho. Esta representación de los estudios universitarios como un derecho es una tendencia de Argentina y América Latina que viene a plasmarse desde el 2009 en la importantísima Declaración final de la Conferencia Mundial sobre Educación Superior, UNESCO, que establece que los estudios superiores son un bien público y social, un derecho humano universal y una responsabilidad de los Estados. Esta concepción nos interpela a revisar prácticas, tradiciones, rutinas, representaciones. Nos interpela a poner en diálogo el nivel secundario con el campo universitario. A ese desafío nos comprometemos tanto los actores del sistema educativo como los del nivel universitario en este proyecto de articulación que socializamos a través de esta ponencia. Hay una Educación Física que se pone al servicio del ser humano, de sus necesidades educativas, de su transformación, en ese sentido nos proponemos un camino común (escuela-universidad) que rompa el paralelismo y encuentre un punto de intersección que es enlace y a su vez partida de nuevos recorridos para posibilitar en clave de derecho que nuestros estudiantes, habiten la universidad
Resumo:
El rendimiento de alumnos "recursantes" resulta a menudo pobre, en virtud de la desidia y falta de motivación que los mismos demuestran. El curso de Química Orgánica de la Facultad de Ciencias Agrarias y Forestales (UNLP) trabaja desde hace varios años conformando comisiones constituidas exclusivamente por dichos alumnos, en las mismas se realiza un acercamiento didáctico diferente al habitual. En el presente trabajo se caracterizan de los alumnos recursantes, así como la modalidad de trabajo con los mismos; a su vez se evalúa el rendimiento de los alumnos en comparación con los no-recursantes, en función de las estadísticas de los últimos diez años y de las encuestas realizadas a los alumnos.
Resumo:
Una de las confusiones más presentes en el ámbito de la ciencia geográfica se refiere a la diferenciación de los conceptos de espacio y territorio; otra, también muy presente, es la que se refiere a la noción de territorialidad. Son cuestiones que se intentan esclarecer en el transcurso de este texto, recorriendo obras relativamente recientes ya consideradas clásicas en el pensamiento geográfico, y otras tal vez menos expresivas a nivel nacional, pero también muy importantes para la constitución de las perspectivas actuales de abordaje del territorio y la territorialidad. Se estudia la territorialidad humana, teniendo en cuenta simultáneamente nuestra sociabilidad, animalidad y espiritualidad, destacando la primera dimensión sin dejar de considerar las otras. El texto se refiere, por lo tanto, a las territorialidades del animal-hombre-social-espiritual, y no a los demás animales. Otra observación inicial importante se refiere a los niveles escalares y temporales con los cuales se trabaja. Cuando el texto se refiere a las escalas espaciales de análisis, se conciben de manera trans-multiescalar, o sea, a nivel local (calle, barrio, "comunidad" rural, etc.); a nivel municipal, estatal, regional, nacional, internacional y global; y al mencionar las escalas temporales, se entienden como tiempos instantáneos, períodos, fases, y como ritmos lentos y rápidos sincrónicos, en una perspectiva transtemporal histórica y coexistente. Uno de los objetivos es destacar la necesidad de comprensión de los ritmos y las desigualdades, en especial los más lentos, normalmente dejados de lado en los estudios de geografía (humana).
Resumo:
Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.
Resumo:
El presente Trabajo de Fin de Grado (TFG) se enmarca dentro del proyecto AFRICA BUILD. Dicho proyecto tiene como objetivo principal fomentar la investigación y fortalecer las capacidades de cuatro centros de educación superior en África a través de las TIC. Para cumplir este objetivo se ha diseñado el sistema AFRICA BUILD Portal (ABP). El ABP consiste en una solución web basada en “e-learning” para estudiantes, profesores e investigadores dentro del continente africano. El objetivo de este TFG consiste en ampliar la accesibilidad y el uso del portal a través de dispositivos móviles. La solución propuesta en este TFG consiste en el desarrollo de dos soluciones que complementan el ABP: (I) una capa de servicios web para el portal y (II) la versión App para dispositivos móviles del mismo. Cabe destacar la relación existente entre ambas soluciones ya que la segunda necesita de la primera para poder funcionar y comunicarse así con el portal.
Resumo:
Se plantea desarrollar una herramienta que ofrezca un soporte eficiente para la creación y el diseño de protocolos biológicos a los investigadores en biología sintética. Partiendo de este objetivo, se definen dos cometidos principales: Realizar un estudio de las herramientas existentes que ofrezcan soporte al diseño y aquellas pensadas para diseñar protocolos biológicos, el fin de este estudio es descubrir las funcionalidades que implementan estas herramientas para mejorarlas. Además, se ha de desarrollar una herramienta web que, mediante un lenguaje visual, permita diseñar y crear protocolos de biología sintética, guardándolos en un formato de archivo independiente del lenguaje. En este documento se encuentra, en primer lugar, la definición de objetivos y la descripción del método de desarrollo seguido durante la implementación del proyecto; después, el marco teórico, donde se exponen las herramientas estudiadas y las similitudes y diferencias con la idea que se tiene de la aplicación, y también las herramientas de desarrollo web con las que se va a implementar el proyecto. A continuación, se muestran los resultados obtenidos, mediante la definición de requisitos, así como una exposición de la propia herramienta. Por último, se encuentra la estrategia de validación que se ha seguido en el desarrollo del proyecto y se exponen las conclusiones obtenidas de estas validaciones; también se incluyen al final las conclusiones del proyecto y las líneas futuras de desarrollo.---ABSTRACT---It is planned to develop a tool that provides efficient support for the creation and design of biological protocols researchers in synthetic biology. Based on this goal, two main tasks are defined: Conduct a study of existing tools that provide design support and those intended to design biological protocols, the purpose of this study is to discover the functionalities that implement these tools to improve them. Furthermore, it has to develop a web tool that, through a visual language, allowing design and create synthetic biology protocols, storing them in an independent language file format. In this document is located, first, the definition of objectives and description of the development method followed during project implementation; then the theoretical framework where tools and studied the similarities and differences with the idea we have of the application are discussed, and development tools with which they will implement the project. Then the results obtained, by defining requirements as well as an exhibition of the own tool. Finally, the validation strategy that has been followed in the development of the project and the conclusions drawn from these validations are exposed; also, it is included at the end of the project conclusions and future lines of development.