dc.creator | Luna, Carlos | |
dc.date.accessioned | 2014-12-02T16:07:18Z | |
dc.date.accessioned | 2022-10-28T19:22:13Z | |
dc.date.available | 2014-12-02T16:07:18Z | |
dc.date.available | 2022-10-28T19:22:13Z | |
dc.date.created | 2014-12-02T16:07:18Z | |
dc.date.issued | 2005 | |
dc.identifier | 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. | |
dc.identifier | 0797-6410 | |
dc.identifier | http://hdl.handle.net/20.500.12008/3516 | |
dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/4959894 | |
dc.description.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. | |
dc.publisher | UR. FI – INCO. | |
dc.relation | Reportes Técnicos 05-04 | |
dc.rights | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) | |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | |
dc.subject | Enseñanza de la Programación | |
dc.subject | Teoría de Tipos | |
dc.subject | Coq | |
dc.subject | Programación Funcional | |
dc.subject | Programación Imperativa | |
dc.subject | Sistemas Reactivos y de Tiempo Real | |
dc.title | Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias | |
dc.type | Reporte técnico | |