Por favor, use este identificador para citar o enlazar este ítem: https://ri-ng.uaq.mx/handle/123456789/5521
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.rights.licensehttp://creativecommons.org/licenses/by-nd/4.0es_ES
dc.contributorCarlos Alberto Olmos Trejaes_ES
dc.creatorJosé Luis Carreña Arteagaes_ES
dc.date2011-10-
dc.date.accessioned2016-08-16T19:59:21Z-
dc.date.available2016-08-16T19:59:21Z-
dc.date.issued2011-10-
dc.identifier273 - RI000262.pdfes_ES
dc.identifier.urihttps://ri-ng.uaq.mx/handle/123456789/5521-
dc.descriptionEsta tesis discute el diseño, arquitectura y aplicación de un esquema para convertir lenguaje binario a un nivel de abstracción más alto, permitiendo la creación de pruebas re-utilizables y robustas. El resultado es una serie de pasos a seguir para convertir de código máquina X86 a código de nivel intermedio. El proceso de transformación mencionado aquí es una etapa de la ingeniería inversa, la cual por fuerza es el primer paso del proceso de reingeniería. Las técnicas de de-compilación inicialmente fueron documentadas en [Cifuentes]. Los conceptos utilizados por [Cifuentes] están estrechamente relacionados con compiladores y teoría de la optimización. Han ocurrió muchos cambios en el campo de la construcción de compiladores desde la publicación de [Aho et Al]. Algunos de los cambios a la construcción de compiladores que merecen mención son: -DTD (Document Type Definition). Esencialmente, un DTD es una gramática libre de contexto extendida, -Grafos XML [Anders et Al], -el novel enfoque no-canónico para la construcción de compiladores [Schmitz 2005], [Schmitz, 2007]. Cuando el momento sea el adecuado, se abordará cada tópico y se propondrá un nuevo esquema que traduzca de código máquina x86 a Common Intermediate Language (CIL) [ECMA-335].es_ES
dc.formatAdobe PDFes_ES
dc.language.isospaes_ES
dc.publisherUniversidad Autónoma de Querétaroes_ES
dc.relation.requiresNoes_ES
dc.rightsAcceso Abiertoes_ES
dc.subjectDe-compiladoreses_ES
dc.subjectCódigo máquinaes_ES
dc.subjectGramáticases_ES
dc.titleUtilización de especificación formal para validar bloques elementales de lenguaje máquina: caso práctico procesadores x86es_ES
dc.typeTesis de maestríaes_ES
dc.contributor.roleDirectores_ES
dc.degree.nameMaestría en Sistemas de Información Gestión y Tecnologíaes_ES
dc.degree.departmentFacultad de Informáticaes_ES
dc.degree.levelMaestríaes_ES
Aparece en: Maestría en Sistemas de Información Gestión y Tecnología

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
RI000273.pdf748.11 kBAdobe PDFPortada
Visualizar/Abrir


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.