Add to ORKGEn 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.Eje: III - Workshop de tecnología informática aplicada en educaciónRed de Universidades con Carreras en Informática (RedUNCI
Se presenta un proyecto para ser realizado en un taller o como complemento de una de las primeras as...
Los datos de rendimiento académico de la Facultad de Tecnología y Ciencias Aplicadas indican que la ...
Se describe una experiencia realizada en la carrera de Licenciatura en Ciencias de Computación de la...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En esta comunicación abordaré una UEA que se cursa en el segundo trimestre de la licenciatura en Dis...
En este trabajo se presenta la propuesta que actualmente está llevando a cabo el equipo docente de l...
En este trabajo se presenta la propuesta que actualmente está llevando a cabo el equipo docente de l...
En este trabajo se presenta la propuesta que actualmente está llevando a cabo el equipo docente de l...
El último nivel de concreción del currículum educativo, plasmado después en las denominadas Programa...
Se presenta un proyecto para ser realizado en un taller o como complemento de una de las primeras as...
Se presenta un proyecto para ser realizado en un taller o como complemento de una de las primeras as...
Los datos de rendimiento académico de la Facultad de Tecnología y Ciencias Aplicadas indican que la ...
Se describe una experiencia realizada en la carrera de Licenciatura en Ciencias de Computación de la...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una curríc...
En esta comunicación abordaré una UEA que se cursa en el segundo trimestre de la licenciatura en Dis...
En este trabajo se presenta la propuesta que actualmente está llevando a cabo el equipo docente de l...
En este trabajo se presenta la propuesta que actualmente está llevando a cabo el equipo docente de l...
En este trabajo se presenta la propuesta que actualmente está llevando a cabo el equipo docente de l...
El último nivel de concreción del currículum educativo, plasmado después en las denominadas Programa...
Se presenta un proyecto para ser realizado en un taller o como complemento de una de las primeras as...
Se presenta un proyecto para ser realizado en un taller o como complemento de una de las primeras as...
Los datos de rendimiento académico de la Facultad de Tecnología y Ciencias Aplicadas indican que la ...
Se describe una experiencia realizada en la carrera de Licenciatura en Ciencias de Computación de la...