Subir material

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

 

Taller de especificación, construcción y verificación formales de programas

Subtítulo: Propuesta y experiencias
2004
 
Tipo de documento: Objeto de conferencia

Resumen

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.

Notas

Eje: III - Workshop de tecnología informática aplicada en educación

Información general

Fecha de publicación: 2004
Idioma del documento: Español
Evento: X Congreso Argentino de Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (182.1Kb) - PDF
 
Creado el: 15 de octubre de 2012
Disponible en SEDICI desde: 15 de octubre de 2012
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/22418

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

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