Hacia la autonomía del aprendiente en la clase de E/LE: El desarrollo de tareas y estrategias en el proceso de un aprendizaje autónomo y responsable

La presente memoria tiene como objetivo describir en general de forma crítica, el trabajo realizado por la profesora durante la realización de sus prácticas docentes en la Escuela Secundaria Augusto Cabrita durante el curso escolar 2012/2013, y en particular reflexionar sobre el tema de la autonomía del aprendiente en la clase de Español/Lengua extranjera (E/LE). Sabemos que los alumnos del siglo XXI son diferentes de los del siglo pasado. Siendo ellos nativos digitales, manejan las tecnologías en su cotidiano tanto con fines personales de comunicación en las redes sociales o de otra índole, como para complementar todo tipo de información académica. El papel del profesor en el proceso de enseñanza-aprendizaje del Español Lengua Extranjera será orientar al alumnado hacia un aprendizaje y un crecimiento más significativos. Asimismo, el presente trabajo pretende investigar sobre ese proceso y en particular sobre la autonomía del aprendiente y, así, poder encontrar pistas para ayudar a nuestros alumnos en el desarrollo de competencias que les permitan tener éxito en nuestra sociedad de la información dándoles herramientas útiles para que sean autónomos, responsables e independientes en su propio proceso de aprendizaje.

Plataforma informática aplicada como ayuda al proceso de enseñanza-aprendizaje de la educación primaria y secundaria de la Provincia de Córdoba: La integración de las Nuevas Tecnologías (NTICs) para el proceso de enseñanza-aprendizaje en entornos virtuales y colaborativos como complemento a la enseñanza tradicional

A partir del proyecto de Responsabilidad Social Universitaria del año 2008: “Aplicaciones del Análisis Matemático para el proceso de enseñanza aprendizaje de la Matemática: Escuelas de nivel medio de población económica comprometida de la ciudad de Córdoba”, de Gustavo A. Chiodi y Aldo Chami, realizado en la Facultad de Ingeniería de la Universidad Católica de Córdoba, se pudo constatar a través de una investigación de campo las dificultades que presentaban los alumnos para realizar sus tareas extra-áulicas. Estas dificultades provenían en general de las siguientes categorías: a. alumnos que no tienen el suficiente grado de contención fuera del ámbito netamente escolar. b. alumnos que no pueden recurrir a un adulto en sus hogares para solicitarles ayuda en sus tareas escolares. c. alumnos que, estando acompañados por familiares, estos no pueden acompañar la actividad de las tareas que los alumnos deben entregar en clases siguientes. Una mirada actual y objetiva sobre esta realidad y en base a estos antecedentes permitió determinar que esta situación persiste en un gran número de familias social y económicamente comprometidas. Así la interacción efectiva entre los docentes, desde las propuestas de actividades curriculares por un lado, y los alumnos desde sus actividades extra-áulicas (deberes o tareas) por el otro, se ve afectada fuertemente. El presente proyecto, como plataforma educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de los alumnos intentará dar tratamiento a este problema ya no en forma particular para cada alumno sino en forma general y a varias disciplinas. El desafío de este proyecto multidisciplinario, en el que confluyen la Informática y la Educación, es desarrollar un espacio para que los alumnos de nivel primario y nivel medio puedan encontrar en él trayectorias formativas extra-áulicas mediadas por el conocimiento curricular y construyendo un lugar de encuentro e intercambio productivo, en este caso, en la red, en una aula virtual y en una experiencia extensionista mediada por la tecnología informática. La plataforma informática educativa permitirá al alumno poder recurrir a un acompañamiento virtual en la realización de sus tareas en el marco curricular del proceso educativo y abandonar el concepto de mero consumidor de tecnologías a utilizarlas para generar nuevas alternativas y vínculos, donde de un modo creativo pueda generar conocimiento

Cooperación al desarrollo y entornos virtuales de aprendizaje: nuevos recursos para un nuevo escenario de formación postgrado

El objetivo del presente trabajo es ofertar un apoyo no presencial que facilite mayor acceso a una formación postgrado inter-universitaria de calidad y que permitan a cada estudiante vencer su limitación espacio-temporal y optimizar su esfuerzo en función de su motivación, lo que supone una conciliación académica /profesional /familiar. La metodología utilizada será el conocimiento del manejo instrumental de la plataforma Moodle, entendiendo sus posibilidades técnicas. Analizando el uso las posibilidades didácticas y limitaciones de las herramientas de la plataforma en la enseñanza post grado de nuestro tema de interés. Enfocando la actuación en el aprendizaje participativo en vez de en la enseñanza expositiva: equilibrar conceptos y competencias. Diseñando nuevas coreografías didácticas acordes a entornos virtuales que ayuden al estudiante a evolucionar del aprendizaje rutinario al estratégico. Evidenciando la trascendencia de la investigación bibliográfica en la investigación aplicada. Potenciando el uso racional de TICs e incluir el uso de gestores bibliográficos para maximizar su aprovechamiento. Facilitando estrategias de mejora o correctivas frente a necesidades individuales causadas por diferencias de ritmo de aprendizaje. Estimulando el trabajo cooperativo, valorando especialmente la interdependencia positiva

Estudios funcionales del Sistema Nervioso Central del recién nacido (Aprendizaje No Asociativo): Nuevos métodos

Desde hace ya tres décadas se conoce que el neonato, aún desde los primeros minutos de vida, puede responder a una gran variedad de olores, entre los cuales se encuentra el alcohol, con reacciones comportamentales y neurovegetativas específicas y que es capaz también de diferenciarlo de otros estímulos, lo que se puso de manifiesto a través de un proceso de habituación. La habituación, que es un proceso de aprendizaje no asociativo, se ha transformado en un parámetro valioso en el estudio del desarrollo de la plasticidad neurocomportamental en distintas especies, tanto en períodos perinatales como prenatales. En la esfera humana, se ha comprobado que el recién nacido puede habituar o sensitizar una respuesta refleja y responder de manera compleja a estimulación sensorial específica. Estudios realizados con claves olfatorias, tanto nóveles como biológicas, demuestran que el neonato puede reconocer y distinguir distintos olores y que la manera en que éste responde varía de acuerdo ala experiencia previa con el estímulo, manifestando preferencia por el olor que le resulta familiar, sin que necesariamente sea éste un olor materno. Estas tempranas capacidades de aprendizaje han sido útiles para evaluar la integridad del SNC fetal y neonatal, utilizando, por ejemplo, índices de habituación hacia distintos estímulos. Basándose en los resultados de estas investigaciones surge el objetivo general del proyecto: realizar un relevamiento de las capacidades de aprendizaje y memoria neonatales utilizando paradigmas de aprendizaje no asociativo como la habituación a claves olfativas nóveles (alcohol y limón), analizando la respuesta a los olores a través de patrones comportamentales y neurovegetativos presentes en el neonato a término. Este objetivo se irá desarrollando a lo largo de etapas experimentales consecutivas. En la primera de ellas, actualmente en ejecución, el propósito es evaluar respuestas habituatorias y de recuperación espontánea frente a la presentación secuencial de los aromas. En las etapas subsiguientes se pretenderá detectar también deshabituación y habituación ala deshabituación. Este proyecto forma parte de un plan de actividades mayor referido a reconocimiento, retención y discriminación de claves olfativas a nivel neonatológico. A largo plazo se procura diseñar, valiéndose de las tempranas capacidades de aprendizaje presentes en neonatos normales, pruebas que se utilicen para evaluar el desempeño neurocomportamental de recién nacidos donde se sospeche un Sistema Nervioso Central dañado por efectos de la exposición prenatal de alcohol y/o por episodios hipóxicos pre o perinatales.

Desarrollos innovadores, estrategias de aprendizaje e interacciones de comunicación llevadas a cabo con Tecnologías de la Información y la Comunicación en el área de Ciencias Experimentales. Innovative developments, learning strategies and communication interactions carried out with CIT in experimental science.

Las Tecnologías de la Información y la Comunicación (TIC) han alcanzando una fuerte expansión en la última década y se convierten en una estrategia clave para la educación científica y tecnológica. Actualmente se realizan significativas inversiones en computadoras e insumos acordes a esta tecnología lo que no garantiza que éstas mejores disponibilidades sean necesariamente conducentes a propuestas educativas aceptables, ya que la incorporación de las TIC en la educación científica no puede consistir en un mero cambio de soporte sin que esto se acompañe de una renovación constructivista del aprendizaje. También se observa un escaso desarrollo y aplicación de las TIC tanto en la formación de grado de las carreras científicas, como en la formación permanente de los docentes. A partir de lo expuesto, nos planteamos los siguientes problemas: ¿cómo generar cursos de formación docente con alternativas virtuales que garanticen la construcción, actualización y transferencia de conocimientos en las disciplinas científicas? ¿qué diseño de materiales se requiere para potenciar aprendizajes flexibles de calidad?, ¿qué dimensiones, variables e indicadores dan cuenta de procesos de comunicación en estos entornos?, ¿Cuáles son las principales estrategias que promueven los desarrollos tecnológicos? ¿De qué manera se lleva a cabo el seguimiento y evaluación de los desarrollos tecnológicos? Para dar respuesta a estos interrogantes nos planteamos este proyecto que tiene por objetivos: diseñar, desarrollar, implementar y evaluar materiales basados en un modelo constructivista que utiliza como soporte las TIC el marco de la "Enseñanza para la Comprensión". Analizar las relaciones que se establecen en el intercambio comunicativo a través de las TIC, ya sea de manera síncrona o asíncrona e identificar las estrategias de aprendizaje utilizadas por los estudiantes cuando trabajan con entornos virtuales. Se profundizará en los siguientes temas: "La materia y sus cambios", "Biotecnología" y "Dilemas investigativos a los que se enfrentan los científicos". Los dos primeros módulos estarán destinados a la formación de futuros docentes en Ciencias y a la formación permanente de docentes en ejercicio. Los usuarios del tercer módulo serán los estudiantes del ciclo de nivelacion. Se propone desarrollar instrumentos de evaluación, adaptando indicadores que sirvan para evaluar el modelo, el diseño de los materiales, el medio tecnológico, la eficiencia de estos programas con TIC. Se van a definir variables que permitan identificar las estrategias de aprendizaje utilizadas por los usuarios de estos desarrollos tecnológicos y las relaciones que se establecen en el intercambio comunicativo de los entornos virtuales, haciendo hincapié en la lecto-escritura científica. Se utilizará la plataforma Moodle que permite la administración de los estudiantes, las interacciones sociales necesarias para integrar una comunidad de aprendizaje a través de los foros y correo electrónico y la evaluación continua de los aprendizajes. El desarrollo de los contenidos específicos y las actividades de aprendizaje se hará en CD interactivos elaborados con diferentes programas de computación. En el desarrollo de los materiales se incluyen algunas simulaciones interactivas que permiten comprender conceptos que habitualmente requerían experimentación fáctica. El estudio se enmarca en la combinación de dos enfoques metodológicos que integran técnicas y procedimientos de análisis tanto cuantitativos como cualitativos. Consideramos que esta investigación es una contribución teórica importante ya que propone mejorar un modelo para la enseñanza de las Ciencias Naturales introduciendo las TIC. Se espera realizar un aporte novedoso al campo de la Didáctica de las Ciencias con la obtención de los resultados y acciones tendientes a establecer una red de comunicaciones entre los docentes participantes y los investigadores involucrados en el programa, instalada en forma progresiva.

Análisis comparativo entre actividades de aprendizaje diseñadas con Estudio de Casos y Aprendizaje Basado en Problemas, y actividades de tipo tradicional, como dispositivos didácticos en Educación a Distancia. Comparative analysis of learning activities designed with Problem Based Learning and Case Study approaches, and activities designed with traditional methods, in Distance Education.

Identificación y caracterización del problema: El problema que guía este proyecto, pretende dar respuesta a interrogantes tales como: ¿De qué modo el tipo de actividades que se diseñan, se constituyen en dispositivos posibilitadores de la comprensión de los temas propios de cada asignatura, por parte de los alumnos? A partir de esta pregunta, surge la siguiente: Al momento de resolver las actividades, ¿qué estrategias cognitivas ponen en juego los estudiantes? y ¿cuáles de ellas favorecen procesos de construcción del conocimiento? Hipótesis: - Las asignaturas cuyas actividades están elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, propician aprendizajes significativos por parte de los estudiantes. - Las actividades elaboradas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos requieren de procesos cognitivos más complejos que los que se implementan en las de tipo tradicional. Objetivo: - Identificar el impacto que tienen las actividades de aprendizaje de tipo tradicional y las elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, en el aprendizaje de los alumnos. Materiales y Métodos: a) Análisis de las actividades de aprendizaje del primero y segundo año de la carrera de Abogacía, bajo lamodalidad a Distancia. b) Entrevistas tanto a docentes contenidistas como así también a los tutores. c) Encuestas y entrevistas a los alumnos. Resultados esperados: Se pretende confirmar que las actividades de aprendizaje, diseñadas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos, promueven aprendizajes significativos en los alumnos. Importancia del proyecto y pertinencia: La relevancia del presente proyecto se podría identificar a través de dos grandes variables vinculadas entre sí: la relacionada con el dispositivo didáctico (estrategias implementadas por los alumnos) y la referida a lo institucional (carácter innovador de la propuesta de enseñanza y posibilidad de extenderla a otras cátedras). El presente proyecto pretende implementar mejoras en el diseño de las actividades de aprendizaje, a fin de promover en los alumnos la generación de ideas y soluciones responsables y el desarrollo de su capacidad analítica y reflexiva.

Desarrollo de un test de detección temprana de trastornos de aprendizaje- test de velocidad de denominación.

La evaluación de la velocidad de denominación permite la identificación temprana de niños en riesgo de desarrollar dislexia. Por lo tanto es importante contar con un test de velocidad de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente, es que se propone construir el Test de Velocidad de Denominación. Éste es un test neuropsicológico para evaluar la velocidad de denominación (implica cronometrar el tiempo necesario para la producción de los nombres correctos de figuras que se le presentan al individuo). Se diseñarán las láminas y se realizará un estudio piloto para determinar las figuras más adecuadas a incluir. Luego se realizará un estudio de validez del test. Para completar ambos estudios se propone administrar alrededor de cincuenta tests a niños en edad pre-escolar (cuatro y cinco años) para el estudio de diseño de las láminas; y a alrededor de cien niños de primer a tercer grado se les administrará el Test de Velocidad de Denominación y dos subtests de la batería de lectura LEE, para el estudio de validez.

Plataforma informática aplicada como ayuda al proceso de enseñanza-aprendizaje de la educación primaria y secundaria de la provincia de Córdoba: la integración de las nuevas tecnologías (ntics) para el proceso de enseñanza-aprendizaje en entornos virtuales y colaborativos como complemento a la enseñanza tradicional.

Desde la Facultad de Ingenierí­a de la Universidad Católica de Córdoba, se pudo constatar a través de una investigación de campo las dificultades que presentaban los alumnos de nivel primario y medio para realizar sus tareas extra-Áulicas. Estas dificultades provenían en general de las siguientes categorías: a. alumnos que no tienen el suficiente grado de contención fuera del Ámbito netamente escolar. b. alumnos que no pueden recurrir a un adulto en sus hogares para solicitarles ayuda en sus tareas escolares. c. alumnos que, estando acompañados por familiares, estos no pueden acompañar la actividad de las tareas que los alumnos deben entregar en clases siguientes. Actualmente, esta situación persiste en un gran número de familias económicamente comprometidas, impidiendo que se logre una interacción efectiva entre los docentes, desde las propuestas de actividades curriculares, y los alumnos desde sus actividades extra- Áulicas (deberes o tareas). El presente proyecto, como plataforma educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de los alumnos intentará dar tratamiento a este problema ya no en forma particular sino en forma general y a varias disciplinas. El desafío de este proyecto multidisciplinario, en el que confluyen la Informática y Educación, es desarrollar un espacio para que los alumnos de nivel primario y nivel medio puedan encontrar trayectorias formativas extra-Áulicas mediadas por el conocimiento curricular y construyendo un lugar de encuentro e intercambio productivo, en este caso, en la red, en una aula virtual y en una experiencia extensionista mediada por la tecnología informática.

Desarrollo de la creatividad en contextos formales y no formales de aprendizaje.

El trabajo propuesto apunta a profundizar en el conocimiento de la dinámica que se establece entre ciertas características de los contextos de aprendizaje y el desempeño creativo. Los fundamentos teóricos del estudio se encuentran en los desarrollos de la Psicología Educacional, especialmente en las investigaciones ligadas al enfoque socio-constructivista, que atienden al carácter situado de los aprendizajes así como a la interacción de diferentes variables complejas en la definición del comportamiento. Por sus fundamentos metodológicos el proyecto se inscribe en la perspectiva de los estudios de diseño o investigación basada en diseños. Los objetivos generales son: (1) Avanzar en el conocimiento de las características de los contextos de aprendizaje que estimulan la creatividad; (2) mejorar la calidad de los procedimientos e instrumentos de medición de la creatividad; (3) comparar rasgos de contextos formales y no formales de aprendizaje desde la perspectiva de la creatividad (4) relevar, analizar y proponer soluciones a algunos problemas ligados a los estudios de diseño en el campo de la investigación educativa. El supuesto de partida es que una intervención instructiva diseñada para atender a ciertos rasgos característicos de los contextos creativos puede incidir favorablemente sobre la creatividad en los aprendizajes. Por su naturaleza, la investigación basada en diseños atiende al logro de metas pedagógicas y metas teóricas. Nuestra meta pedagógica es favorecer procesos y desempeños creativos en el marco de los contextos formales y no formales seleccionados para el estudio y con la meta teórica de avanzar en el conocimiento de la influencia que ejercen diferentes rasgos del contexto sobre tales desempeños. En líneas generales el plan de trabajo contempla 5 actividades principales: (1) descripción y análisis del contexto de aprendizaje que se genera (a) en cursos de educación en carreras universitarias de grado (entendidos como contextos formales); (b) museos y talleres comunitarios (entendidos como contextos no formales); (2) diseño e implementación de una intervención instructiva tendiente a conformar un contexto creativo, en cursos universitarios de grado, en museos y en talleres comunitarios; (3) diseño, uso y evaluación de instrumentos y procedimientos para valorar la creatividad; (4) Análisis de la influencia del contexto en el desempeño creativo; (5) Análisis de problemas ligados a la integración de resultados en el marco de la investigación de diseño. Asimismo y complementariamente a la realización de estas actividades se llevarán a cabo acciones tendientes a (6) formación de recursos humanos en el área de la investigación educativa y (7) implementar acciones de transferencia tendientes a mejorar la investigación y la enseñanza de la creatividad. Los principales resultados que esperamos obtener son: (1) completar la formación doctoral y postdoctoral de las becarias que participan de este proyecto; (2) producir documentos tendientes a difundir el conocimiento que se genere en el marco de congresos, jornadas y publicaciones científicas; (3) formación profesional de docentes y estudiantes involucrados en las cátedras donde se implementen los diseños instructivos; (4) transferencia de conocimientos, especialmente en cursos de posgrado.

Aprendizaje durante la ontogenia temprana: Estudio de la participación del sistema opioide en la modulación de aprendizajes mediados por el etanol. LEARNING AND EARLY ONTOGENY: ANALYSIS OF THE INVOLVEMENT OF OPIOID SYSTEM IN FETAL AND INFANTILE ETHANOL-MEDIATED EXPERIENCIES.

Este plan de trabajos es continuidad de una línea de investigación centrada en evaluar los mecanismos responsables de la adquisición, expresión y persistencia de experiencias con el etanol. A partir de ello, indagar acerca de los efectos de esta experiencia sobre comportamientos de búsqueda y autoadministración de etanol en neonatos e infantes de rata. Se pretende analizar la participación del sistema opiáceo en los mecanismos implicados en una memoria fetal y/o infantil, generada como consecuencia de la exposición etílica. En una primera etapa, nos proponemos establecer de qué manera experiencias prenatales con la droga modulan el patrón de auto-administración de alcohol y otros reforzadores, como sacarosa. En este primer bloque de experimentos realizaremos manipulaciones fetales para determinar con mayor grado de especificidad la posible acción del sistema opiáceo en los mecanismos de adquisición de una memoria etílica prenatal. Se realizarán administraciones de etanol y el antagonista opiáceo, directamente a nivel fetal, y se evaluará esta experiencia en un paradigma de condicionamiento neonatal positivo, mediado por la droga. De acuerdo a la evidencia previa, esperamos que la exposición prenatal con la droga facilite la expresión de conductas de consumo y búsqueda del etanol o hacia las claves que señalizan al psicotrópico, tanto durante la infancia como en el neonato. A su vez, cuando la droga es presentada bajo los efectos de un antagonista opiáceo esperamos que estas conductas muestren un perfil similar a las desplegadas por sujetos controles. El segundo bloque de experimentos ha sido ideado con el objeto de indagar acerca de la posible participación del sistema opiáceo en la modulación de los aspectos reforzantes de la droga, a través de un esquema de auto-administración etílica infantil. Se utilizará un paradigma de condicionamiento instrumental adaptado para ratas infantes que consta de dos instancias, una de adquisición de la conducta instrumental (DPs 14-17) en la cual los animales reciben un pulso de refuerzo, como consecuencia de la ejecución de la conducta operante. En una segunda fase se analiza el patrón de búsqueda del reforzador ya que se registra la respuesta instrumental, sin que ocurra el refuerzo por la misma. Para analizar la participación del sistema opiáceo, durante la fase de adquisición de la conducta operante (DPs 16 y 17) los animales serán re-expuestos a mínimas cantidades del reforzador, bajo los efectos de un antagonista opiáceo, momentos previos al ensayo instrumental correspondiente para cada uno de estos días (Exp. 3). Esperamos que el bloqueo del sistema opiáceo, durante esta re-exposición al etanol, sea suficiente para disminuir el patrón de respuesta instrumental hacia el refuerzo etílico. Un último experimento incorporará un tercer evento de re-exposición al etanol -bajo los efectos del antagonista- previo al ensayo de extinción de la conducta instrumental (DP 18). Este nuevo evento tiene por objeto analizar la participación de este sistema neurobiológico en los mecanismos de búsqueda de etanol. Si el sistema opiáceo participa en la modulación de patrones tanto de búsqueda como consumatorios del reforzamiento por etanol, se espera que la re-exposición a la droga bajo los efectos del antagonista, inhiba estas respuestas tanto durante la sesión de adquisición, como de extinción de la conducta operante. Este proyecto intenta profundizar en el conocimiento de los mecanismos que regulan reconocimiento, aceptación, búsqueda y consumo de etanol, como consecuencia de experiencias tempranas con la droga. A su vez, es importante identificar y estudiar los sistemas neurobiológicos involucrados en estos mecanismos. Es por ello que se intenta determinar el rol que ejerce el sistema opiáceo en la adquisición de estas experiencias etílicas a nivel fetal e infantil, que se conoce promueven la búsqueda y el consumo de la droga. Our work is directed to analyze the involvement of the opioid system in the generation of pre- and early postnatal ethanol-related memories. As a first step, maternal manipulations with ethanol will be done. Infants will be evaluated in a paradigm of infantile self-administration of different reinforcers (ethanol, sucrose or water), employing a model of operant conditioning adapted to infant rats. A second experiment will be conducted in order to analyze if a central administration of ethanol, directly to the fetus, modifies subsequent patterns of neonatal conditioned responses to an artificial nipple, mediated by ethanol reinforcing effects. Fetal presentation of ethanol will be accompanied with the injection of an opioid antagonist in order to analyze the involvement of this system in acquisition processes of a fetal ethanol-mediated memory. A second set of studies will be conducted to analyze appetitive and consummatory behaviors in an infant model of ethanol self-administration. Involvement of opioid system in the acquisition or expression of this experience will be also inquired. Infant rats (PDs14-17) have to display a target behavior (nose-poke) to gain access to 5% sucrose or 3.75% ethanol. On PD18 an extinction session will be included. At PDs16-17, 6-hr before training, pups will be re-exposed to ethanol under opioid antagonism effects (naloxone). In a follow up experiment, a re-exposure trial will be included at PD18. Prior extinction, pups will receive naloxone and will be re-exposed to ethanol. We aim to observe if opioid system is modulating etha¬nol reinforcing effects, in terms of both appetitive and consummatory behaviors.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

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.

Problemáticas de la interacción discursiva en la enseñanza y el aprendizaje de las Ciencias Naturales. Aportes didácticos. Interaction discoursive issues in teaching and learning Natural Sciences. Didactic contributions

Las didácticas específicas de las ciencias naturales revelan diferentes problemáticas en su enseñanza y aprendizaje en los diferentes niveles del sistema educativo. En particular, en las clases de ciencias la interacción discursiva docente alumnos adquiere relevancia, ya que el proceso de comunicación del conocimiento es uno de los pilares didácticos, junto a la trasposición del mismo. Especificamente, en este proyecto nos abocamos a aquellas intervenciones de docentes y alumnos que se relacionan con la construcción del conocimiento biológico y químico. El proyecto se enmarca en una actual linea de trabajo que indaga sobre las dificultades en los abordajes del conocimiento científico en las aulas, las características del discurso entre docentes y alumnos, las habilidades y dificultades en la comprensión de los enunciados de problemas y las características de los textos que se utilizan en las clases. Se focaliza este estudio en casos que intentan dar respuesta a tres temáticas, agrupadas en un conjunto de situaciones de investigación relacionadas con la interacción discursiva docente-alumno, retomando el rol del docente al hablar, guiar o diseñar las situaciones de referencia para el aprendizaje de los alumnos. Los casos son: 1- En cuanto a las concepciones sobre diversidad biológica en estudiantes de escuela secundaria y en textos académicos, atendemos a cómo la escuela presenta los contenidos ecológicos como un conjunto de dogmas y conceptos estáticos. Además suelen simplificarse conceptualmente y presentarse poco actualizados. Es por ello que se planea estudiar las concepciones y actitudes de los alumnos de secundaria sobre la biodiversidad, cómo estas dificultan su comprensión y los textos usados en relación a la promoción de la transposición didáctica. 2- En relación a cómo se elabora el patrón temático del tema célula en clases de Biología, se analizarán las diferentes estrategias de significados y de desarrollo temático, que se emplean en la comunicación aulica. Se intentará establecer si hay cambios en el desarrollo temático a medida que se avanza en la escolaridad. Esto es porque se puede apreciar que muchos de los problemas de aprendizaje del alumnado se deben a un desconocimiento tanto del patrón temático como del patrón estructural de la ciencia, siendo preciso evocar los patrones temáticos que se quieren utilizar, para construir un conocimiento compartido. 3-Finalmente, en los enunciados de problemas de Química, se analizarán las dificultades de comprensión lectora de alumnos de Ingeniería. Los docentes frecuentemente atribuyen los problemas a deficiencias en la instrucción recibida, sin considerarse los conocimientos previos del alumno, los obstáculos conceptuales originados en el tema, las deficiencias en la habilidad lectora, el tipo textual predominante en la consigna, el formato en el que se escribió la consigna y los factores personales, etc., siendo que la comprensión del enunciado de una consigna de trabajo condiciona fuertemente la posibilidad de su resolución. Los tres casos utilizarán metodologías cualitaritas que incluyan análisis de contenido en discursos orales y escritos. Los datos se registrarán desde observación no participante, registro etnográfico y con grabaciones de audio. Se espera contribuir al conocimiento, realizando aportes a la formación docente en tanto las estrategias discursivas que se emplean en el aula, en forma oral y en la escrita, conocer concepciones que dificultan o favoren la construcción del conocimiento científico, entre otras. Los productos de estos estudios estarán integrados por nuevos desarrollos para la formación docente, publicaciones científicas de impacto nacional e internacional, presentaciones a congresos, materiales didácticos y divulgativos, dictado de seminarios y/o cursos, redacción de informes a las escuelas intervinientes.. The specific Natural Sciences didactics show different problems in teaching and learning along the school system. In particular, the discourse used to communicate knowledge in Science lessons becomes important. With this project we will focus on the teachers and students actions regarding the construction of biological and chemical knowledge. This project attempts to answer these issues and brings together a range of research situations related to teacher-student interaction, through discourse, taking up the role of the teacher to speak, to plan and to guide student learning. We will study the ideas and attitudes of high school students about biodiversity that make difficult its understanding and the textbooks used in relation to promotion of the didactic transposition. In addition, regarding how the thematic pattern in biology classes is costructed, it will be analyzed the different meaning and thematic development strategies that are used in communication. We will attempt to establish whether there are any changes in the thematic development throughout high school education. Finally, we will analyze the reading comprehension problems in engineering students. Teachers frequently attribute these issues to deficiencies in prior education, without considering the students background, the conceptual obstacles arising in the field, the format in which the prompt is written, personal factors, etc., keeping in mind that the outcome of an activity is strictly dependant con the prompt understanding. We expect to make contributions to the teacher education in both the discourse strategies used in the classroom, orally and in writing, to learn about the conceptions that hinder or favor the knowledge construction, among others. The products of this study will be national and international impact scientific publications, conference presentations, popular science publications, seminars courses and reports to the schools involeved.