|
|
|
|
| LEADER |
00000naa a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250423183116.0 |
| 008 |
230201nuuuu xx r 000 0 ||| d |
| 024 |
8 |
|
|a DIF-M5167
|b 1731
|z DIF004968
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Luna, Carlos Daniel
|9 47197
|
| 245 |
1 |
0 |
|a Enseñando Métodos Formales con Coq.
|
| 300 |
|
|
|a 2006, vol. 1 no. 1, p. 55-64. – Resumen: 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. -- Palabras clave: Enseñanza de la Programación, Métodos Formales, Teoría de Tipos, Coq, Especificación y Verificación de Corrección.
|
| 773 |
|
|
|7 nnam
|a Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI)
|t WICC 2001 San Luis [CD-ROM]
|o DIF-02524
|
| 942 |
|
|
|c CP
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 CD_237
|7 3
|9 79740
|a DIF
|b DIF
|d 2025-03-11
|l 0
|o CD 237
|r 2025-03-11 17:03:51
|w 2025-03-11
|y CP
|
| 999 |
|
|
|c 54816
|d 54816
|
