Estado del arte de la investigación en verificación formal
Morales V., David; Serna M., Edgar
Facultad de Ingeniería, UNAM, publicado en Ingeniería, Investigación y Tecnología, y cosechado de Revistas UNAM
dor_id: 26197
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://revistas.unam.mx/index.php/ingenieria/article/view/45919/41137
100.1.#.a: Morales V., David; Serna M., Edgar
524.#.#.a: Morales V., David, et al. (2014). Estado del arte de la investigación en verificación formal. Ingeniería Investigación y Tecnología; Vol 15, No 4, 2014. Recuperado de https://repositorio.unam.mx/contenidos/26197
720.#.#.a: Morales V., David ; Serna M., Edgar
245.1.0.a: Estado del arte de la investigación en verificación formal
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 formal; métodos formales; ingeniería de software; técnicas de ingeniería; enfoques de investigación
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://revistas.unam.mx/index.php/ingenieria/article/view/45919
720.#.#.u: Diversien S.A.S. Medellín, Colombia; Corporación Universitaria Remington, Medellín, Colombia
041.#.7.h: spa
520.3.#.a: En años recientes, la investigación en verificación formal de hardware y software ha logrado importantes progresos en el desarrollo de metodologías y herramientas para hacer frente a la creciente complejidad de los sistemas. La función explícita de la verificación formal es encontrar errores y mejorar la confianza en la exactitud del diseño del sistema, lo que supone un reto para la ingeniería de software de este siglo. El objetivo de esta investigación fue realizar una revisión sistemática a la literatura para determinar el estado del arte de la investigación en verificación formal en los últimos 10 años e identificar los enfoques, métodos, técnicas y metodologías empleadas, lo mismo que la intensidad de esa investigación. En el proceso se encontró que la investigación en esta área se duplicó a partir del año 2005, que hasta el momento mantiene un número promedio de investigaciones año tras año y que predomina la aplicación en sistemas de control e interacción. además, que el estudio de caso es el método más utilizado y que la investigación empírica es la más aplicada.
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: 00aa00a3dd08c7ff
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-d68a33dbb93154987a2a6f8004d17a34
Morales V., David; Serna M., Edgar
Facultad de Ingeniería, UNAM, publicado en Ingeniería, Investigación y Tecnología, y cosechado de Revistas UNAM
Morales V., David, et al. (2014). Estado del arte de la investigación en verificación formal. Ingeniería Investigación y Tecnología; Vol 15, No 4, 2014. Recuperado de https://repositorio.unam.mx/contenidos/26197