Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias

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

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Luna, Carlos Daniel
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2004
Materias:	Ciencias Informáticas tecnología Enseñanza de la Programación Real time Teoría de Tipos educación informática Coq Programación Funcional Programación Imperativa Sistemas Reactivos y de Tiempo Real
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/22418
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-22418
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 tecnología Enseñanza de la Programación Real time Teoría de Tipos educación informática Coq Programación Funcional Programación Imperativa Sistemas Reactivos y de Tiempo Real
spellingShingle	Ciencias Informáticas tecnología Enseñanza de la Programación Real time Teoría de Tipos educación informática Coq Programación Funcional Programación Imperativa Sistemas Reactivos y de Tiempo Real Luna, Carlos Daniel Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias
topic_facet	Ciencias Informáticas tecnología Enseñanza de la Programación Real time Teoría de Tipos educación informática Coq Programación Funcional Programación Imperativa Sistemas Reactivos y de Tiempo Real
description	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.
format	Objeto de conferencia Objeto de conferencia
author	Luna, Carlos Daniel
author_facet	Luna, Carlos Daniel
author_sort	Luna, Carlos Daniel
title	Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias
title_short	Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias
title_full	Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias
title_fullStr	Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias
title_full_unstemmed	Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias
title_sort	taller de especificación, construcción y verificación formales de programas : propuesta y experiencias
publishDate	2004
url	http://sedici.unlp.edu.ar/handle/10915/22418
work_keys_str_mv	AT lunacarlosdaniel tallerdeespecificacionconstruccionyverificacionformalesdeprogramaspropuestayexperiencias
bdutipo_str	Repositorios
_version_	1764820465707122689

Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias

Ejemplares similares