english Icono del idioma   español Icono del idioma  

  1. Colibri
  2. Facultad de Ingeniería
  3. Instituto de Computación
  4. Reportes Técnicos
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/3516 Cómo citar
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.authorLuna, Carloses
dc.date.accessioned2014-12-02T16:07:18Z-
dc.date.available2014-12-02T16:07:18Z-
dc.date.issued2005es
dc.date.submitted20141202es
dc.identifier.citationLUNA, C. "Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias". Reportes Técnicos 05-04. UR. FI – INCO, 2005.es
dc.identifier.issn0797-6410es
dc.identifier.urihttp://hdl.handle.net/20.500.12008/3516-
dc.description.abstractEn 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.es
dc.format.extent12 p.es
dc.format.mimetypeapplication/pdfes
dc.languageeses
dc.publisherUR. FI – INCO.es
dc.relation.ispartofReportes Técnicos 05-04es
dc.rightsLas obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)es
dc.subjectEnseñanza de la Programaciónes
dc.subjectTeoría de Tiposes
dc.subjectCoqes
dc.subjectProgramación Funcionales
dc.subjectProgramación Imperativaes
dc.subjectSistemas Reactivos y de Tiempo Reales
dc.titleTaller de especificación, construcción y verificación formales de Programas :propuesta y experienciases
dc.typeReporte técnicoes
dc.rights.licenceLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)es
Aparece en las colecciones: Reportes Técnicos - Instituto de Computación

Ficheros en este ítem:
Fichero Descripción Tamaño Formato   
TR0504.pdf163,63 kBAdobe PDFVisualizar/Abrir
Mostrar el registro sencillo del ítem


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons