Enseñando Métodos Formales con Coq.

By: Material type: ArticleArticleDescription: 2006, vol. 1 no. 1, p. 55-64. – Resumen: 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. -- Palabras clave: Enseñanza de la Programación, Métodos Formales, Teoría de Tipos, Coq, Especificación y Verificación de Corrección In: Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) WICC 2001 San Luis [CD-ROM]
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

There are no comments on this title.

to post a comment.

Powered by Koha