Enseñando métodos formales con Coq

Luna, Carlos Daniel · SEDICI UNLP · 2006

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Luna, Carlos Daniel

Editorial

SEDICI UNLP

Año

2006

Idioma

es

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una currícula de grado, y postgrado, 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. Facultad de Informática

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Luna, C. D. (2006). Enseñando métodos formales con Coq. http://sedici.unlp.edu.ar/handle/10915/14155

MLA

Luna, Carlos Daniel. "Enseñando métodos formales con Coq." 2006. http://sedici.unlp.edu.ar/handle/10915/14155.

Chicago

Luna, Carlos Daniel. 2006. "Enseñando métodos formales con Coq.". http://sedici.unlp.edu.ar/handle/10915/14155.

Harvard

Luna, C. D. 2006, Enseñando métodos formales con Coq, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/14155 [Accessed 3 Jul. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Enseñando métodos formales con Coq

Autor / colaboradores: Luna, Carlos Daniel

Editorial: SEDICI UNLP

Año de publicación: 2006

Idioma: es

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Educación; sistema de enseñanza; enseñanza de la programación; métodos formales; teoría de tipos; Coq; especificación y verificación de corrección; enseñanza superior