Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.12008/3516
How to cite
| Title: | Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias |
| Authors: | Luna, Carlos |
| Type: | Reporte técnico |
| Keywords: | Enseñanza de la Programación, Teoría de Tipos, Coq, Programación Funcional, Programación Imperativa, Sistemas Reactivos y de Tiempo Real |
| Issue Date: | 2005 |
| Abstract: | 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. |
| Publisher: | UR. FI – INCO. |
| Series or collection: | Reportes Técnicos 05-04 |
| ISSN: | 0797-6410 |
| Citation: | 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. |
| License: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Appears in Collections: | Reportes Técnicos - Instituto de Computación |
Files in This Item:
| File | Description | Size | Format | ||
|---|---|---|---|---|---|
| TR0504.pdf | 163,63 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
