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 |
| ISSN: | 0797-6410 |
| 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. |
| 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
