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

Full description

Bibliographic Details

Main Author:	Luna, Carlos (author)
Format:	report
Language:	Spanish
Published:	2005
Subjects:	Enseñanza de la Programación Teoría de Tipos Coq Programación Funcional Programación Imperativa Sistemas Reactivos y de Tiempo Real
Online Access:	http://hdl.handle.net/20.500.12008/3516
Tags:	Add Tag No Tags, Be the first to tag this record!