Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2010-02-05T19:03:36Z
dc.date.available 2010-02-05T03:00:00Z
dc.date.issued 2006
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/14155
dc.description.abstract 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. es
dc.language es es
dc.subject sistema de enseñanza es
dc.subject enseñanza de la programación; métodos formales; teoría de tipos; Coq; especificación y verificación de corrección es
dc.subject enseñanza superior es
dc.title Enseñando métodos formales con Coq es
dc.type Articulo es
sedici.identifier.uri http://teyet-revista.info.unlp.edu.ar/wp-content/uploads/2016/06/07_Ensenando_metodos_formales_con_Coq-1.pdf es
sedici.creator.person Luna, Carlos Daniel es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.materias Educación es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc/3.0/
sedici.description.peerReview peer-review es
sedici2003.identifier ARG-UNLP-ART-0000005640 es
sedici.relation.journalTitle TE & ET es
sedici.relation.journalVolumeAndIssue no. 1 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (96.44Kb) - PDF
Icon
Enlace externo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)