Título:
Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Luna, Carlos
Tutor:
Tipo de documento:
Reporte técnico
Editor:
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
Teoría de Tipos
Coq
Programación Funcional
Programación Imperativa
Sistemas Reactivos y de Tiempo Real
Descriptores:
Año de publicación:
2005
Contenido:
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.
Descripción:
Editorial:
UR. FI – INCO.
EN:
Reportes Técnicos 05-04
Financiadores:
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.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
http://hdl.handle.net/20.500.12008/3516
ISBN:
e-ISBN:
ISSN:
0797-6410
ISMN:
Otros identificadores:
Título Obtenido:
Facultad o Servicio que otorga el Título:
Licencia:
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR0504.pdf | — | 163.63 KB | Adobe PDF |