Observatorio de I+D+i UPM

Memorias de investigación
Courses, Seminars and tutorials:
Enseñando concurrencia con modelos formales.
Year:2013
Research Areas
  • Information technology and adata processing
Information
Abstract
En esta charla presentamos un curso de grado de programación concurrente en el que se usan modelos formales en varias etapas del proceso. La diferencia más notable con otras propuestas radica en que el desarrollo de software concurrente correcto se basa en una transformación sistemática de un modelo formal de interacción entre procesos (denominado el recurso compartido) en lugar de en construcciones específicas de un lenguaje de programación. Utilizar un método centrado en recursos en lugar de centrado en el lenguaje tiene beneficios para estudiantes y profesores. Aparte de la ventaja de la independencia del lenguaje de programación, el modelo ayuda en la validación temprana del diseño, proporciona una "lingua franca" que simplifica la comunicación durante las clases y durante el seguimiento del alumno y ayuda en la generación automática de tests para los ejercicios prácticos. Hemos usado este método, con ligeras variantes, durante unos quince años, sobreviviendo a cambios en el lenguaje de programación y la longitud del curso. En esta presentación describiremos los componentes y estructura la versión actual del curso, que usa Java como lenguaje objetivo, así como algunas herramientas de apoyo. Asimismo presentaremos con cierto detalle los beneficios ofrecidos por un método basado en modelos (validación del diseño inicial, generación automática de tests, y generación mecánica de código) desde el punto de vista de la enseñanza. Finalizaremos con un análisis estadístico del impacto de nuestro método en la capacidad del estudiante para entender la concurrencia y generar código correcto y una revisión crítica de las ventajas y riesgos de dicho método, así como propuestas para reducir estos riesgos.
International
No
Congress
Seminario de Investigación en Tecnologías de la Información Aplicadas a la Educación (SITIAE 2013)
Entity
Laboratorio de Tecnologías de la Información en la Educación (LITE)
Entity Nationality
ESPAÑA
Place
Madrid
Start Date
09/04/2013
End Date
24/05/2013
Participants
  • Autor: Manuel Carro Liñares (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)