Enseñando métodos formales con Coq
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Red de Universidades Nacionales con Carreras de Informática
2006-01-01
|
| Series: | Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología |
| Subjects: | |
| Online Access: | http://sedici.unlp.edu.ar/handle/10915/14155 |