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

id	I19-R120-10915-14155
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	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
spellingShingle	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 Luna, Carlos Daniel Enseñando métodos formales con Coq
topic_facet	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
description	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.
format	Articulo Articulo
author	Luna, Carlos Daniel
author_facet	Luna, Carlos Daniel
author_sort	Luna, Carlos Daniel
title	Enseñando métodos formales con Coq
title_short	Enseñando métodos formales con Coq
title_full	Enseñando métodos formales con Coq
title_fullStr	Enseñando métodos formales con Coq
title_full_unstemmed	Enseñando métodos formales con Coq
title_sort	enseñando métodos formales con coq
publishDate	2006
url	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
work_keys_str_mv	AT lunacarlosdaniel ensenandometodosformalesconcoq
bdutipo_str	Repositorios
_version_	1764820459306614785

Enseñando métodos formales con Coq

Ejemplares similares