Enseñando Métodos Formales con Coq. (Record no. 54816)

MARC details
000 -CABECERA
campo de control de longitud fija 01346naa a2200157 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170351.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201nuuuu xx r 000 0 ||| d
024 8# - Otro identificador estandar
Número estándar o código DIF-M5167
-- 1731
-- DIF004968
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Luna, Carlos Daniel
245 10 - MENCIÓN DE TÍTULO
Título Enseñando Métodos Formales con Coq.
300 ## - DESCRIPCIÓN FÍSICA
Extensión 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 ## - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN
Subcampo de control nnam
Encabezamiento principal 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ítulo WICC 2001 San Luis [CD-ROM]
Otro identificador del documento DIF-02524
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Capítulo de libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Total de préstamos Signatura topográfica completa Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
      No corresponde Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025   CD 237 11/03/2025 11/03/2025 Capítulo de libro