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:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2006
Materias:	Ciencias Informáticas Educación Learning enseñanza de la programación métodos formales Computer Uses in Education teoría de tipos Computer science education COQ especificación y verificación de corrección
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/19181
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-19181
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 Learning enseñanza de la programación métodos formales Computer Uses in Education teoría de tipos Computer science education COQ especificación y verificación de corrección
spellingShingle	Ciencias Informáticas Educación Learning enseñanza de la programación métodos formales Computer Uses in Education teoría de tipos Computer science education COQ especificación y verificación de corrección Luna, Carlos Daniel Enseñando métodos formales con COQ
topic_facet	Ciencias Informáticas Educación Learning enseñanza de la programación métodos formales Computer Uses in Education teoría de tipos Computer science education COQ especificación y verificación de corrección
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	Objeto de conferencia Objeto de conferencia
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/19181
work_keys_str_mv	AT lunacarlosdaniel ensenandometodosformalesconcoq
bdutipo_str	Repositorios
_version_	1764820464064004096

Enseñando métodos formales con COQ

Ejemplares similares