Mostrar el registro sencillo del ítem
Nivel de desarrollo de la verificación formal
| dc.contributor.advisor | Serna Montoya, Edgar | |
| dc.contributor.author | Ariza Vargas, Efilia | |
| dc.contributor.author | Ariza Vargas, Elizabeth | |
| dc.date.accessioned | 2023-09-25T19:49:18Z | |
| dc.date.available | 2023-09-25T19:49:18Z | |
| dc.date.issued | 2016 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12622/6141 | |
| dc.description.abstract | Los 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.format.mimetype | application/pdf | |
| dc.language.iso | spa | spa |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalización | spa |
| dc.title | Nivel de desarrollo de la verificación formal | spa |
| dc.publisher.faculty | Facultad de Ingenierías | spa |
| dc.publisher.program | Ingeniería de Sistemas | spa |
| dc.subject.keywords | Formal Methods, Software Engineering, Requirements Engineering, Verification and Validation, Formalization | spa |
| dc.subject.lemb | Árboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafos | spa |
| dc.description.degreename | Ingeniero de Sistemas | spa |
| dc.identifier.instname | instname:Instituto Tecnológico Metropolitano | spa |
| dc.identifier.reponame | reponame:Repositorio Institucional Instituto Tecnológico Metropolitano | spa |
| dc.identifier.repourl | repourl:https://repositorio.itm.edu.co/ | |
| dc.rights.local | Acceso abierto | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | |
| dc.rights.creativecommons | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
| dc.title.translated | Level of development of formal verification | spa |
| dc.type.local | Informe de investigación | spa |
| dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | spa |
| dc.type.driver | info:eu-repo/semantics/bachelorThesis | spa |
| dc.publisher.grantor | Instituto Tecnológico Metropolitano | spa |
| dc.description.degreelevel | pregrado | spa |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Ingeniería de Sistemas [106]
Excepto si se señala otra cosa, la licencia del ítem se describe como http://creativecommons.org/licenses/by-nc-nd/4.0/