Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3516
Cómo citar
Título: | Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias |
Autor: | Luna, Carlos |
Tipo: | Reporte técnico |
Palabras clave: | Enseñanza de la Programación, Teoría de Tipos, Coq, Programación Funcional, Programación Imperativa, Sistemas Reactivos y de Tiempo Real |
Fecha de publicación: | 2005 |
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. |
Editorial: | UR. FI – INCO. |
Serie o colección: | Reportes Técnicos 05-04 |
Citación: | LUNA, C. "Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias". Reportes Técnicos 05-04. UR. FI – INCO, 2005. |
ISSN: | 0797-6410 |
Licencia: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
TR0504.pdf | 163,63 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons