Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias
- Autor(es):
- Luna, Carlos
- Tipo:
- Reporte técnico
- Versión:
- Publicado
- Resumen:
-
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una currícula de grado 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.
- Año:
- 2005
- Idioma:
- Español
- Temas:
- Enseñanza de la Programación
Teoría de Tipos
Coq
Programación Funcional
Programación Imperativa
Sistemas Reactivos y de Tiempo Real
- Institución:
- Universidad de la República
- Repositorio:
- COLIBRI
- Enlace(s):
- http://hdl.handle.net/20.500.12008/3516
- Nivel de acceso:
- Acceso abierto