Enseñando métodos formales con Coq

Mostrar todas las versiones(2)

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Luna, Carlos Daniel
Formato: Articulo
Lenguaje:Español
Publicado: 2006
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
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/14155
http://teyet-revista.info.unlp.edu.ar/wp-content/uploads/2016/06/07_Ensenando_metodos_formales_con_Coq-1.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares