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...
| Автор: | |
|---|---|
| Формат: | Стаття |
| Мова: | Spanish |
| Опубліковано: |
Red de Universidades Nacionales con Carreras de Informática
2006-12-01
|
| Серія: | Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología |
| Предмети: | |
| Онлайн доступ: | https://teyet-revista.info.unlp.edu.ar/TEyET/article/view/180 |