Chequeo estático extendido en Eiffel / (Registro nro. 13618)
[ vista simple ]
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 |
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 |