dor_id: 26186

506.#.#.a: Público

590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única. Los revisores son externos nacionales e internacionales.

510.0.#.a: Consejo Nacional de Ciencia y Tecnología (CONACyT), Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex), Scientific Electronic Library Online (SciELO), Red de Revistas Científicas de América Latina y El Caribe, España y Portugal (RedALyC), Organización de Estados Iberoamericanos (CREDI), Actualidad Iberoamericana de Chile, Red Iberomericana de Innovación y Conocimiento Científico (REDIB), Science Direct, Directory of Open Acces Journals, Indice de Revistas Latinoamericanas en Ciencias (Periódica), Bibliografía Latinoamericana (Biblat), Índice Internacional de Revistas Actualidad Iberoamericana (CIT)

561.#.#.u: https://www.ingenieria.unam.mx/

650.#.4.x: Ingenierías

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: http://www.revistas.unam.mx/index.php/ingenieria/index

351.#.#.b: Ingeniería, Investigación y Tecnología

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: http://www.revistas.unam.mx/front/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural, UNAM

883.#.#.1: https://www.publicaciones.unam.mx/

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial, UNAM

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://www.revistas.unam.mx/index.php/ingenieria/article/view/45882/41122

100.1.#.a: Ramírez de León, Edgar Darío; Chávez Bosquez, Oscar; Francisco León, Julián Javier

524.#.#.a: Ramírez de León, Edgar Darío, et al. (2014). Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification. Ingeniería Investigación y Tecnología; Vol 15, No 4, 2014. Recuperado de https://repositorio.unam.mx/contenidos/26186

245.1.0.a: Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Facultad de Ingeniería, UNAM

264.#.0.c: 2014

264.#.1.c: 2015-01-15

653.#.#.a: Verificación de modelos, verificación y validación, jml, xml, java, runtime assertion checking, extended static checking, full static program verification

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 2015-01-15, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico marciaglez@dirfing.unam.mx

884.#.#.k: http://www.revistas.unam.mx/index.php/ingenieria/article/view/45882

001.#.#.#: oai:ojs.phoenicis.tic.unam.mx:article/45882

041.#.7.h: spa

520.3.#.a: Xjml (ramírez et al., 2012) es una plataforma modular externa para la verificación y validación de clases java empleando el lenguaje de modelado de java (jml, java modeling language) a través de contratos escritos en xml. uno de los problemas que se enfrentaron durante el desarrollo de xjml fue la integración de la técnica de verificación denominada full static program verification (fspv). En este artículo se presentan los experimentos y resultados que permitieron definir qué herramienta se integra en xjml para ejecutar fspv.

773.1.#.t: Ingeniería Investigación y Tecnología; Vol 15, No 4 (2014)

773.1.#.o: http://www.revistas.unam.mx/index.php/ingenieria/index

046.#.#.j: 2021-08-03 00:00:00.000000

022.#.#.a: ISSN impreso: 1405-7743

310.#.#.a: Trimestral

264.#.1.b: Facultad de Ingeniería, UNAM

758.#.#.1: http://www.revistas.unam.mx/index.php/ingenieria/index

handle: 00c3722643e47967

harvesting_date: 2019-02-06 00:00:00.0

856.#.0.q: application/pdf

last_modified: 2021-08-12 16:00:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

_deleted_conflicts: 2-65d1619bbb31ea72093d4cbe5c70adc2

No entro en nada

No entro en nada 2