Publicación:
Nivel de desarrollo de la verificación formal

Vista sencilla de ítem
dc.contributor.advisorSerna Montoya, Edgar
dc.contributor.authorAriza Vargas, Efilia
dc.contributor.authorAriza Vargas, Elizabeth
dc.date.accessioned2023-09-25T19:49:18Z
dc.date.available2023-09-25T19:49:18Z
dc.date.issued2016
dc.description.abstractLos métodos formales se utilizan mayoritariamente para especificar y validar productos de software crítico, y poco a poco comienzan a penetrar la Ingeniería del Software tradicional para el desarrollo de aplicaciones de todo tipo. Uno de sus inconvenientes es la falta de conocimiento matemático que tienen los profesionales para aplicarlos en sus procesos. En este proyecto se busca determinar el nivel de desarrollo de la especificación formal hasta el momento, con el objetivo de difundir los resultados a la comunidad académica relacionada. Se hará una búsqueda amplia en la literatura para determinar dicho nivel y luego difundir los resultados para que sean tenidos en cuenta como elemento necesario en los planes de estudio de la Ingeniería del Software.spa
dc.description.degreelevelpregradospa
dc.description.degreenameIngeniero de Sistemasspa
dc.format.mimetypeapplication/pdf
dc.identifier.instnameinstname:Institución Universitaria ITMspa
dc.identifier.reponamereponame:Repositorio Institucional Institución Universitaria ITMspa
dc.identifier.repourlrepourl:https://repositorio.itm.edu.co/
dc.identifier.urihttps://hdl.handle.net/20.500.12622/6141
dc.language.isospaspa
dc.publisher.facultyFacultad de Ingenieríasspa
dc.publisher.grantorInstitución Universitaria ITMspa
dc.publisher.programIngeniería de Sistemasspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.creativecommonsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.localAcceso abiertospa
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectMétodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalizaciónspa
dc.subject.keywordsFormal Methods, Software Engineering, Requirements Engineering, Verification and Validation, Formalizationspa
dc.subject.lembÁrboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafosspa
dc.titleNivel de desarrollo de la verificación formalspa
dc.title.translatedLevel of development of formal verificationspa
dc.typeInforme de investigaciónspa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1fspa
dc.type.driverinfo:eu-repo/semantics/bachelorThesisspa
dspace.entity.typePublication

Archivos

Bloque original

Mostrando 1 - 2 de 2
Miniatura
Nombre:
Efilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf
Tamaño:
721.86 KB
Formato:
Adobe Portable Document Format
Descripción:
Trabajo de grado
Descargar
Miniatura
Nombre:
Carta_Autorizacion_Efilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf
Tamaño:
223.67 KB
Formato:
Adobe Portable Document Format
Descripción:
Carta de autorización
Descargar

Bloque de licencias

Mostrando 1 - 1 de 1
Miniatura
Nombre:
license.txt
Tamaño:
1.37 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Ingeniería de Sistemas