Literaturnachweis - Detailanzeige
Autor/Urheber | Luna, Carlos Daniel |
---|---|
Titel | Enseñando métodos formales con COQ. |
Quelle | Aus: I Congreso de Tecnología en Educación y Educación en Tecnología. (2006)
PDF als Volltext |
Sprache | spanisch |
Dokumenttyp | online; Sammelwerksbeitrag |
Schlagwörter | Ciencias Informáticas; Educación; enseñanza de la programación; métodos formales; teoría de tipos; COQ; especificación y verificación de corrección; Computer Uses in Education; Computer science education |
Abstract | En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una currícula de grado (y postgrado) usando el asistente de pruebas Coq y conceptos del área de Teoría de Tipos. Proponemos un taller de especificación, construcción y verificación de sistemas en los paradigmas de programación funcional e imperativo, que también abarca el análisis de sistemas críticos: sistemas reactivos y de tiempo real. Describimos algunas experiencias en el desarrollo del taller y planteamos cambios y extensiones. ; Red de Universidades con Carreras en Informática (RedUNCI) |
Erfasst von | BASE - Bielefeld Academic Search Engine |