Metodología y herramientas para el aprendizaje de la verificación y derivación formal de programas

En este artículo se presenta la experiencia en la enseñanza de la asignatura Metodología de la Programación en la Facultad de Ingeniería de la Universidad de Deusto. Los contenidos de esta asignatura tratan la verificación y derivación formal de programas. Se han diseñado actividades en grupo en el aula, se utiliza una red interna como medio para compartir recursos y se cuenta con el correo electrónico como herramienta de comunicación asíncrona. Se está trabajando además en la elaboración automática de listados de enunciados de problemas y ejercicios resueltos. Se basa en la utilización de la tecnología XML que permitirá, entre otras cosas, que los materiales obtenidos puedan ser accedidos vía web