Reseña sobre Tecnología y cambio social : El impacto del acceso público a las computadoras e internet en Argentina, Chile y Perú

Fil: Laudano, Claudia Nora. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación. Instituto de Investigaciones en Humanidades y Ciencias Sociales (UNLP-CONICET); Argentina.

De la programación miscelánica a la consolidación de la ópera : Devenir y conformación del gusto musical en Buenos Aires (1821-1828)

El objetivo del presente trabajo reside en analizar el proceso de conformación del gusto musical por el género lírico en la sociedad porteña durante el período 1821-1828. Dicho proceso será abordado mediante la reconstrucción y análisis de la programación musical presente, principalmente, en la prensa del período. Asimismo, se indaga en torno a la dinámica de los espacios musicales inaugurados e impulsados para tal fin -academia, sociedades y teatro- y sobre los principales músicos y cantantes intervinientes en dicho proceso cultural.

Experiencia en el laboratorio de matemática mediante el soporte de computadoras

Nuestro propósito es presentar una experiencia desarrollada en el marco del Proyecto de Investigación: El uso de nuevas tecnologías en la enseñanza del cálculo . En él enfocamos el uso de nuevas tecnologías como un modo de superar la metodología habitual de dar las respuestas antes de que surjan las preguntas. Incorporamos el uso de un Laboratorio de Matemática mediante el soporte de computadoras para el que tuvimos en cuenta tanto las aplicaciones de la Matemática como la exigencia actual de un uso crítico, reflexivo y creativo de las TIC dentro del sistema educativo en general y de la Matemática en particular. La experiencia consistió en trabajar en el Laboratorio de Matemática mediante el soporte de computadoras con alumnos de primer año de Ingeniería Civil y Licenciatura en Física. El contenido desarrollado fue: Sucesiones y Series. Los alumnos estaban organizados en comisiones. Les proporcionamos las herramientas para utilizar una planilla de cálculo, Excel, y una Guía de Laboratorio. Ella contenía actividades exploratorias para cuya resolución admitíamos la consulta al docente. Este trabajo se complementaba con la entrega de un informe que mostraba los resultados del trabajo en comisión. La actividad consistió en el armado y estudio de la convergencia de una serie geométrica. La mayoría de las comisiones logró presentar resultados satisfactorios.

Prácticas de programación de docentes de educación primaria en el área de ciencias naturales

El presente trabajo apunta a describir las prácticas de programación de la enseñanza de docentes de escuela primaria de la Provincia de Buenos Aires, en el área de Ciencias Naturales. Se propone caracterizar las principales configuraciones y modos de concebir y llevar a cabo la tarea, a partir del análisis de documentos escritos entregados por docentes. Se trata de un trabajo descriptivo y el enfoque adoptado integra rasgos de los estudios de corte interpretativo, en tanto busca caracterizar las prácticas de programación desde planificaciones aportadas por los actores. El análisis documental realizado posibilitó describir los formatos de las planificaciones y componentes e identificar algunas configuraciones y modalidades de programación y los saberes implicados en su producción. También se identificaron diferentes grados de apropiación y resignificación del texto curricular y diversas mediaciones. De los documentos analizados se infirieron algunas funciones otorgadas a la programación y el enfoque de enseñanza de las ciencias naturales

Prácticas de programación de docentes de educación primaria en el área de ciencias naturales

El presente trabajo apunta a describir las prácticas de programación de la enseñanza de docentes de escuela primaria de la Provincia de Buenos Aires, en el área de Ciencias Naturales. Se propone caracterizar las principales configuraciones y modos de concebir y llevar a cabo la tarea, a partir del análisis de documentos escritos entregados por docentes. Se trata de un trabajo descriptivo y el enfoque adoptado integra rasgos de los estudios de corte interpretativo, en tanto busca caracterizar las prácticas de programación desde planificaciones aportadas por los actores. El análisis documental realizado posibilitó describir los formatos de las planificaciones y componentes e identificar algunas configuraciones y modalidades de programación y los saberes implicados en su producción. También se identificaron diferentes grados de apropiación y resignificación del texto curricular y diversas mediaciones. De los documentos analizados se infirieron algunas funciones otorgadas a la programación y el enfoque de enseñanza de las ciencias naturales

De la programación miscelánica a la consolidación de la ópera : Devenir y conformación del gusto musical en Buenos Aires (1821-1828)

El objetivo del presente trabajo reside en analizar el proceso de conformación del gusto musical por el género lírico en la sociedad porteña durante el período 1821-1828. Dicho proceso será abordado mediante la reconstrucción y análisis de la programación musical presente, principalmente, en la prensa del período. Asimismo, se indaga en torno a la dinámica de los espacios musicales inaugurados e impulsados para tal fin -academia, sociedades y teatro- y sobre los principales músicos y cantantes intervinientes en dicho proceso cultural.

Experiencia en el laboratorio de matemática mediante el soporte de computadoras

Nuestro propósito es presentar una experiencia desarrollada en el marco del Proyecto de Investigación: El uso de nuevas tecnologías en la enseñanza del cálculo . En él enfocamos el uso de nuevas tecnologías como un modo de superar la metodología habitual de dar las respuestas antes de que surjan las preguntas. Incorporamos el uso de un Laboratorio de Matemática mediante el soporte de computadoras para el que tuvimos en cuenta tanto las aplicaciones de la Matemática como la exigencia actual de un uso crítico, reflexivo y creativo de las TIC dentro del sistema educativo en general y de la Matemática en particular. La experiencia consistió en trabajar en el Laboratorio de Matemática mediante el soporte de computadoras con alumnos de primer año de Ingeniería Civil y Licenciatura en Física. El contenido desarrollado fue: Sucesiones y Series. Los alumnos estaban organizados en comisiones. Les proporcionamos las herramientas para utilizar una planilla de cálculo, Excel, y una Guía de Laboratorio. Ella contenía actividades exploratorias para cuya resolución admitíamos la consulta al docente. Este trabajo se complementaba con la entrega de un informe que mostraba los resultados del trabajo en comisión. La actividad consistió en el armado y estudio de la convergencia de una serie geométrica. La mayoría de las comisiones logró presentar resultados satisfactorios.

Reseña sobre Tecnología y cambio social : El impacto del acceso público a las computadoras e internet en Argentina, Chile y Perú

Fil: Laudano, Claudia Nora. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación. Instituto de Investigaciones en Humanidades y Ciencias Sociales (UNLP-CONICET); Argentina.

Los métodos de programación lineal aplicados al análisis en rotura: el caso de los arcos de fábrica.

En este trabajo se presenta una formulación que permite aplicar los métodos de programación lineal, y en particular el método simplex, al análisis de la estática de rotura de cualesquiera estructuras de barras o elementos lineales, que son considerados como bloques rígidos en las regiones no plastificadas. La formulación permite integrar criterios robustos de seguridad y permite abordar, entre otros, los problemas clásicos de rotura de arcos de fábrica, siendo capaz de determinar las alteraciones pésimas a las configuraciones de carga consideradas, basándose en dichos criterios. Como ejemplo se muestra cómo la formulación es capaz de detectar de forma automática que se producirán daños en arcos de fábrica si se procede a su descarga

Optimización de la programación(scheduling) en Talleres de Mecanizado

Los problemas de programación de tareas son muy importantes en el mundo actual. Se puede decir que se presentan en todos los fundamentos de la industria moderna, de ahí la importancia de que estos sean óptimos, de forma que se puedan ahorrar recursos que estén asociados al problema. La programación adecuada de trabajos en procesos de manufactura, constituye un importante problema que se plantea dentro de la producción en muchas empresas. El orden en que estos son procesados, no resulta indiferente, sino que determinará algún parámetro de interés, cuyos valores convendrá optimizar en la medida de lo posible. Así podrá verse afectado el coste total de ejecución de los trabajos, el tiempo necesario para concluirlos o el stock de productos en curso que será generado. Esto conduce de forma directa al problema de determinar cuál será el orden más adecuado para llevar a cabo los trabajos con vista a optimizar algunos de los anteriores parámetros u otros similares. Debido a las limitaciones de las técnicas de optimización convencionales, en la presente tesis se presenta una metaheurística basada en un Algoritmo Genético Simple (Simple Genetic Algorithm, SGA), para resolver problemas de programación de tipo flujo general (Job Shop Scheduling, JSS) y flujo regular (Flow Shop Scheduling, FSS), que están presentes en un taller con tecnología de mecanizado con el objetivo de optimizar varias medidas de desempeño en un plan de trabajo. La aportación principal de esta tesis, es un modelo matemático para medir el consumo de energía, como criterio para la optimización, de las máquinas que intervienen en la ejecución de un plan de trabajo. Se propone además, un método para mejorar el rendimiento en la búsqueda de las soluciones encontradas, por parte del Algoritmo Genético Simple, basado en el aprovechamiento del tiempo ocioso. ABSTRACT The scheduling problems are very important in today's world. It can be said to be present in all the basics of modern industry, hence the importance that these are optimal, so that they can save resources that are associated with the problem. The appropriate programming jobs in manufacturing processes is an important problem that arises in production in many companies. The order in which they are processed, it is immaterial, but shall determine a parameter of interest, whose values agree optimize the possible. This may be affected the total cost of execution of work, the time needed to complete them or the stock of work in progress that will be generated. This leads directly to the problem of determining what the most appropriate order to carry out the work in order to maximize some of the above parameters or other similar. Due to the limitations of conventional optimization techniques, in this work present a metaheuristic based on a Simple Genetic Algorithm (Simple Genetic Algorithm, SGA) to solve programming problems overall flow rate (Job Shop Scheduling, JSS) and regular flow (Flow Shop Scheduling, FSS), which are present in a workshop with machining technology in order to optimize various performance measures in a plan. The main contribution of this thesis is a mathematical model to measure the energy consumption as a criterion for the optimization of the machines involved in the implementation of a work plan. It also proposes a method to improve performance in finding the solutions, by the simple genetic algorithm, based on the use of idle time.

Evaluaciones y rúbricas en el aprendizaje de la programación de ordenadores

Este trabajo campara la aplicación de dos metodologías docentes y dos instrumentos de evaluación en dos grupos de la misma asignatura. Uno de los grupos ha seguido una metodología docente a distancia apoyada en una plataforma de e-learning, con contenidos docentes en formato electrónico, tutorías virtuales, un foro de comunicaciones, ejercicios de auto-evaluación, trabajos individuales y trabajos en grupo. El otro grupo comparte los mismos contenidos docentes pero sigue una metodología que se basa en la impartición de clases presenciales de tipo magistral y clases prácticas de resolución de problemas y en la que se realiza un proyecto en equipo que se entrega en tres hitos. En ambos casos se ha utilizado una rúbrica por parte del profesor para evaluar los trabajos y otra por parte del alumno para valorar la actividad y competencia trabajo en equipo. Además se ha realizado un examen tradicional aunque sin efecto en la calificación final del alumno como referencia de comparación. En este sentido se muestra la experiencia en el empleo de la rúbrica en el contexto de la docencia en Ingeniería, y, en este caso, respecto de un instrumento tradicional como es una prueba de evaluación escrita.

Herramientas de programación multimedia en IOS y Android

En este proyecto se realiza un estudio sobre herramientas que facilitan la creación y distribución de aplicaciones en distintas plataformas móviles, con el fin de poder seleccionar la herramienta más apropiada en función del proyecto a desarrollar. Previo al estudio de las herramientas para el desarrollo en plataformas múltiples se realiza un estudio de las herramientas y metodologías que facilitan los propietarios de los entornos IOS y Android. Este estudio previo permitirá al lector conocer en más detalle las particularidades de cada uno de estos dos entornos, así como las pautas y buenas prácticas a seguir en el desarrollo de aplicaciones para dispositivos móviles. Una vez finalizado el estudio, el lector sabrá escoger una herramienta de desarrollo adaptada a cada proyecto en función de su objeto, los recursos disponibles y las habilidades de los miembros del equipo de desarrollo. Adicionalmente al estudio, y como ejemplo de aplicación, en el proyecto se realiza un caso práctico de selección de herramienta y aplicación de la herramienta seleccionada a un proyecto de desarrollo concreto. El caso práctico consiste en la creación de un entorno que permite generar aplicaciones para la visualización de apuntes. Las aplicaciones permitirán ver contenidos de tipo multimedia como ficheros de texto, sonidos, imágenes, vídeos y enlaces a contenidos externos. Además estas aplicaciones se generarán sin que el autor de las mismas tenga que modificar alguna de las líneas del código. Para ello, se han definido una serie de ficheros de configuración en los que el autor de la aplicación deberá indicar los contenidos a mostrar y su ubicación. Se han seleccionado recursos de tipo “código abierto” para el desarrollo del caso práctico, con el fin de evitar los costes asociados a las posibles licencias. El equipo de desarrollo del caso práctico estará formado únicamente por el autor de este proyecto de fin de grado, lo que hace del caso de estudio un desarrollo sencillo, de manera que su futuro mantenimiento y escalabilidad no deberían verse afectados por la necesidad de contar con equipos de desarrolladores con conocimientos específicos o complejos. ABSTRACT. This document contains a study of tools that ease the creation and the distribution of the applications through different mobile platforms. The objective o this document is to allow the selection of the most appropriate tool, depending on the development objectives. Previous to this study about the tools for developing on multiple platforms, a study of IOS and Android tools and their methodologies is included on this document. This previous analysis will allow the reader to know in more detail the peculiarities of each of these environments, together with theirs requirements and the best practices of the applications development for mobile devices. By the end of this document the reader would be able to choose the adequate development tool for a project depending of its objective, its available resources and the developers team’s capabilities. Beside this study and as example of case study this final project includes a practical case of tool selection and its application to a specific development. The case study consists in the creation of an environment that allows generating applications to visualise notes. These applications will allow seeing contents of multimedia type such as: text files, sounds, images, videos, and links to external content. Furthermore these applications will be generated without their author having to modify any line of code, because a group of configuration files will be defined for such purpose. The author of the application only has to update this configuration with the content to show by the application and its location. The selected resources for the case study were of the type “open source” in order to avoid the cost associated to the potential licenses. The developers’ team for this case study has only one member, the author of this final project document and practical case developer. As a result the case study is a very simple development in a way that the future potential maintenance and scalability should not depend on the necessity of a highly qualified developers’ teams with a very specific knowledge on mobile platforms development.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

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.