Chequeo estático extendido en Eiffel / (Registro nro. 13618)

Detalles MARC
000 -CABECERA
campo de control de longitud fija 01782nam a2200337 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR_CdUFM
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20170822095206.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 110817s2006 ag_||||| |||| 00| 0 spa d
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR_CdUFM
Centro/agencia transcriptor AR_CdUFM
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
9 (RLIN) 11715
Nombre de persona Moisset de Espanes, Daniel Fernando,
Fechas asociadas al nombre 1980-
245 10 - MENCIÓN DE TÍTULO
Título Chequeo estático extendido en Eiffel /
Mención de responsabilidad, etc. Daniel F. Moisset ; dir. por Javier O. Blanco.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. [S.l. :
Nombre del editor, distribuidor, etc. s.n.],
Fecha de publicación, distribución, etc. 2006.
300 ## - DESCRIPCIÓN FÍSICA
Extensión 76 p. :
Otras características físicas il. ;
Dimensiones 30 cm.
500 ## - NOTA GENERAL
Nota general
502 ## - NOTA DE TESIS
Nota de tesis Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Cordoba. Facultad de Matemática, Astronomía y Física, 2006.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Incluye referencias bibliográficas: p. 75-76.
520 ## - SUMARIO, ETC.
Sumario, etc. El presente trabajo describe una técnica para detectar automáticamente errores, inconsistencias entre programa y especificación, en programas imperativos con especificaciones Design by Contract. Las técnicas presentadas se aplican estáticamente, en tiempo de compilación y ponen énfasis particular en la detección de accesos a punteros nulos. El trabajo también describe una implementación de estas técnicas para detectar errores en programas escritos en Eiffel. Aunque las técnicas no garantizan formalmente la presición del resultado, la implementación muestra que los resultados obtenidos son útiles.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Software/Program verification.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Specifying and verifying and reasoning about programs.
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Chequeo.
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Verificación.
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Estático.
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Eiffel.
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Contratos.
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Punteros.
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
9 (RLIN) 1670
Nombre de persona Blanco, Javier Oscar,
Fechas asociadas al nombre 1968-
Término indicativo de función/relación dir.
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA)
Tipo de ítem Koha Trabajo Especial de Grado
Fuente del sistema de clasificación o colocación
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC)
Codigo del Catalogador
Fecha 2007-08-13
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC)
Codigo del Catalogador MEG
Fecha 2011-08-17
Existencias
Estado de retiro Estado de pérdida Fuente del sistema de clasificación o colocación Estado dañado No para préstamo Biblioteca de origen Biblioteca actual Ubicación en estantería Fecha de adquisición Fuente de adquisición Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Número de copia Tipo de ítem Koha
        FaMAF FaMAF Depósito Interno 13/08/2007 Donación del autor   TE C MOI ej.2 18594 21/07/2017 2 Trabajo Especial de Grado
        FaMAF FaMAF Secc. Tesis y Trabajos especiales 13/08/2007 Donación del autor   Trabajo Especial Computación CAJA 6 - 18593 18593 21/07/2017 1 Trabajo Especial de Grado


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)