Nivel de desarrollo de la verificación formal
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...
- Autores:
-
Ariza Vargas, Efilia
Ariza Vargas, Elizabeth
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2016
- Institución:
- Instituto Tecnológico Metropolitano
- Repositorio:
- Repositorio ITM
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.itm.edu.co:20.500.12622/6141
- Acceso en línea:
- http://hdl.handle.net/20.500.12622/6141
- Palabra clave:
- Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalización
Formal Methods, Software Engineering, Requirements Engineering, Verification and Validation, Formalization
Árboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafos
- Rights
- License
- http://creativecommons.org/licenses/by-nc-nd/4.0/
| id |
RepoITM2_adc44fddf10f36e7103731aff744105f |
|---|---|
| oai_identifier_str |
oai:repositorio.itm.edu.co:20.500.12622/6141 |
| network_acronym_str |
RepoITM2 |
| network_name_str |
Repositorio ITM |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Nivel de desarrollo de la verificación formal |
| dc.title.translated.spa.fl_str_mv |
Level of development of formal verification |
| title |
Nivel de desarrollo de la verificación formal |
| spellingShingle |
Nivel de desarrollo de la verificación formal Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalización Formal Methods, Software Engineering, Requirements Engineering, Verification and Validation, Formalization Árboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafos |
| title_short |
Nivel de desarrollo de la verificación formal |
| title_full |
Nivel de desarrollo de la verificación formal |
| title_fullStr |
Nivel de desarrollo de la verificación formal |
| title_full_unstemmed |
Nivel de desarrollo de la verificación formal |
| title_sort |
Nivel de desarrollo de la verificación formal |
| dc.creator.fl_str_mv |
Ariza Vargas, Efilia Ariza Vargas, Elizabeth |
| dc.contributor.advisor.none.fl_str_mv |
Serna Montoya, Edgar |
| dc.contributor.author.none.fl_str_mv |
Ariza Vargas, Efilia Ariza Vargas, Elizabeth |
| dc.subject.spa.fl_str_mv |
Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalización |
| topic |
Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalización Formal Methods, Software Engineering, Requirements Engineering, Verification and Validation, Formalization Árboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafos |
| dc.subject.keywords.spa.fl_str_mv |
Formal Methods, Software Engineering, Requirements Engineering, Verification and Validation, Formalization |
| dc.subject.lemb.spa.fl_str_mv |
Árboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafos |
| description |
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. |
| publishDate |
2016 |
| dc.date.issued.none.fl_str_mv |
2016 |
| dc.date.accessioned.none.fl_str_mv |
2023-09-25T19:49:18Z |
| dc.date.available.none.fl_str_mv |
2023-09-25T19:49:18Z |
| dc.type.local.spa.fl_str_mv |
Informe de investigación |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/20.500.12622/6141 |
| dc.identifier.instname.spa.fl_str_mv |
instname:Instituto Tecnológico Metropolitano |
| dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Instituto Tecnológico Metropolitano |
| dc.identifier.repourl.none.fl_str_mv |
repourl:https://repositorio.itm.edu.co/ |
| url |
http://hdl.handle.net/20.500.12622/6141 |
| identifier_str_mv |
instname:Instituto Tecnológico Metropolitano reponame:Repositorio Institucional Instituto Tecnológico Metropolitano repourl:https://repositorio.itm.edu.co/ |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| dc.rights.local.spa.fl_str_mv |
Acceso abierto |
| dc.rights.creativecommons.*.fl_str_mv |
Attribution-NonCommercial-NoDerivatives 4.0 International |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ Acceso abierto Attribution-NonCommercial-NoDerivatives 4.0 International http://purl.org/coar/access_right/c_abf2 |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.publisher.faculty.spa.fl_str_mv |
Facultad de Ingenierías |
| dc.publisher.program.spa.fl_str_mv |
Ingeniería de Sistemas |
| dc.publisher.grantor.spa.fl_str_mv |
Instituto Tecnológico Metropolitano |
| institution |
Instituto Tecnológico Metropolitano |
| bitstream.url.fl_str_mv |
https://dspace-itm.metabuscador.org/bitstreams/1ad81615-f9e5-4390-8a1d-355f6ad571e1/download https://dspace-itm.metabuscador.org/bitstreams/1979ed77-c361-4c22-a02d-820d0afadb71/download https://dspace-itm.metabuscador.org/bitstreams/d7020973-a783-4742-bb9f-ffb432f04896/download https://dspace-itm.metabuscador.org/bitstreams/efb4a469-7c80-48fe-886e-d498a2773bae/download https://dspace-itm.metabuscador.org/bitstreams/a4123d19-f3c5-464e-993c-4491caab7d50/download https://dspace-itm.metabuscador.org/bitstreams/448bd133-5d9e-4e18-953f-2270d043b4df/download https://dspace-itm.metabuscador.org/bitstreams/e20c4343-ee67-4022-8322-fc6651e968d9/download |
| bitstream.checksum.fl_str_mv |
7734e4171dd7ba1c98e697a13b9e06eb a1c05f0bd3f2f2aeb5effab3f3df2cc6 950a76d9332c894c13b00630c62cc928 39abd78b4f47e4e7eaba1e72e509d029 29b1e06d37211dd9668306461bc81cb8 6f5625adca0cd88efa059afc3c6aae0f ff4c8ff01d544500ea4bfea43e6108c1 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Instituto Tecnológico Metropolitano de Medellín |
| repository.mail.fl_str_mv |
bdigital@metabiblioteca.com |
| _version_ |
1837096908825296897 |
| spelling |
Serna Montoya, EdgarAriza Vargas, EfiliaAriza Vargas, Elizabeth2023-09-25T19:49:18Z2023-09-25T19:49:18Z2016http://hdl.handle.net/20.500.12622/6141instname:Instituto Tecnológico Metropolitanoreponame:Repositorio Institucional Instituto Tecnológico Metropolitanorepourl:https://repositorio.itm.edu.co/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.Ingeniero de Sistemaspregradoapplication/pdfspahttp://creativecommons.org/licenses/by-nc-nd/4.0/Acceso abiertoAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://purl.org/coar/access_right/c_abf2Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalizaciónFormal Methods, Software Engineering, Requirements Engineering, Verification and Validation, FormalizationÁrboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafosNivel de desarrollo de la verificación formalLevel of development of formal verificationFacultad de IngenieríasIngeniería de SistemasInstituto Tecnológico MetropolitanoInforme de investigaciónhttp://purl.org/coar/resource_type/c_7a1finfo:eu-repo/semantics/bachelorThesisPublicationLICENSElicense.txtlicense.txttext/plain; charset=utf-81406https://dspace-itm.metabuscador.org/bitstreams/1ad81615-f9e5-4390-8a1d-355f6ad571e1/download7734e4171dd7ba1c98e697a13b9e06ebMD53falseAnonymousREADORIGINALEfilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdfEfilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdfTrabajo de gradoapplication/pdf739185https://dspace-itm.metabuscador.org/bitstreams/1979ed77-c361-4c22-a02d-820d0afadb71/downloada1c05f0bd3f2f2aeb5effab3f3df2cc6MD54trueAnonymousREADCarta_Autorizacion_Efilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdfCarta_Autorizacion_Efilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdfCarta de autorizaciónapplication/pdf229033https://dspace-itm.metabuscador.org/bitstreams/d7020973-a783-4742-bb9f-ffb432f04896/download950a76d9332c894c13b00630c62cc928MD55falseAnonymousREAD2070-12-31THUMBNAILEfilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf.jpgEfilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf.jpgGenerated Thumbnailimage/jpeg4362https://dspace-itm.metabuscador.org/bitstreams/efb4a469-7c80-48fe-886e-d498a2773bae/download39abd78b4f47e4e7eaba1e72e509d029MD56falseAnonymousREADCarta_Autorizacion_Efilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf.jpgCarta_Autorizacion_Efilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf.jpgGenerated Thumbnailimage/jpeg9316https://dspace-itm.metabuscador.org/bitstreams/a4123d19-f3c5-464e-993c-4491caab7d50/download29b1e06d37211dd9668306461bc81cb8MD57falseAnonymousREADTEXTEfilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf.txtEfilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf.txtExtracted texttext/plain100997https://dspace-itm.metabuscador.org/bitstreams/448bd133-5d9e-4e18-953f-2270d043b4df/download6f5625adca0cd88efa059afc3c6aae0fMD58falseAnonymousREADCarta_Autorizacion_Efilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf.txtCarta_Autorizacion_Efilia_ArizaVargas_Elizabeth_ArizaVargas_2016.pdf.txtExtracted texttext/plain4https://dspace-itm.metabuscador.org/bitstreams/e20c4343-ee67-4022-8322-fc6651e968d9/downloadff4c8ff01d544500ea4bfea43e6108c1MD59falseAnonymousREAD2070-12-3120.500.12622/6141oai:dspace-itm.metabuscador.org:20.500.12622/61412025-06-24 09:29:27.811http://creativecommons.org/licenses/by-nc-nd/4.0/open.accesshttps://dspace-itm.metabuscador.orgRepositorio Instituto Tecnológico Metropolitano de Medellínbdigital@metabiblioteca.comRWwgSW5zdGl0dXRvIFRlY25vbMOzZ2ljbyBNZXRyb3BvbGl0YW5vIChJVE0pLCBkaWZ1bmRlIG1lZGlhbnRlIHN1IFJlcG9zaXRvcmlvIEluc3RpdHVjaW9uYWwgbG9zIHRyYWJham9zIGRlIGludmVzdGlnYWNpw7NuIHByb2R1Y2lkb3MgcG9yIGxvcyBtaWVtYnJvcyBkZWwgSW5zdGl0dXRvLiBFbCBjb250ZW5pZG8gZGUgbG9zIGRvY3VtZW50b3MgZGlnaXRhbGVzIGVzIGRlIGFjY2VzbyBhYmllcnRvIHBhcmEgdG9kYSBwZXJzb25hIGludGVyZXNhZGEuCgpTZSBhY2xhcmEgcXVlIGVsIElUTSBubyB0aWVuZSBsb3MgZGVyZWNob3MgZGUgcHJvcGllZGFkIGludGVsZWN0dWFsLiBMb3MgZGVyZWNob3MgZGUgYXV0b3Igc2UgZW5jdWVudHJhbiBwcm90ZWdpZG9zIHBvciBsYSBsZWdpc2xhY2nDs24gY29sb21iaWEgZW4gbG9zIHTDqXJtaW5vcyBlc3RhYmxlY2lkb3MgZW4gbGEgTGV5IDIzIGRlIDE5ODIsIExleSA0NCBkZSAxOTkzLCBEZWNpc2nDs24gYW5kaW5hIDM1MSBkZSAxOTkzLCBEZWNyZXRvIDQ2MCBkZSAxOTk1IHkgZGVtw6FzIG5vcm1hcyBnZW5lcmFsZXMgc29icmUgbGEgbWF0ZXJpYSwgIHV0aWxpY2UgeSB1c2UgbGEgb2JyYSBvYmpldG8gZGUgbGEgcHJlc2VudGUgYXV0b3JpemFjacOzbi4gU2luIGVtYmFyZ28sIGxvcyBkZXJlY2hvcyBtb3JhbGVzIGRlbCBhdXRvcihlcykgc29uIGFmZWN0YWRvcyBwb3IgbGEgcHJlc2VudGUgbGljZW5jaWEgZGUgdXNvLgoKU2UgYWNlcHRhIGxhIGRpZnVzacOzbiBww7pibGljYSBkZSBsYSBvYnJhLCBzdSBjb3BpYSB5IGRpc3RyaWJ1Y2nDs24gc2llbXByZSBxdWUgc2UgY3VtcGxhIGNvbiBsYXMgc2lndWllbnRlcyBjb25kaWNpb25lczoKCuKAoiAgICAgICBFbCBuZWNlc2FyaW8gcmVjb25vY2ltaWVudG8gZGUgbGEgYXV0b3LDrWEgZGUgbGEgb2JyYSwgaWRlbnRpZmljYW5kbyBvcG9ydHVuYSB5IGNvcnJlY3RhbWVudGUgYSBsYSBwZXJzb25hIHF1ZSBwb3NlYSBkZXJlY2hvcyBkZSBhdXRvci4KCuKAoiAgICAgICBObyBlc3TDoSBwZXJtaXRpZG8gZWwgdXNvIGluZGViaWRvIGRlbCB0cmFiYWpvIGRlIGludmVzdGlnYWNpw7NuIGNvbiBmaW5lcyBkZSBsdWNybyBvIGN1YWxxdWllciB0aXBvIGRlIGFjdGl2aWRhZCBxdWUgcHJvZHV6Y2EgIGdhbmFuY2lhcyBhIGxhcyBwZXJzb25hcyBxdWUgbG8gZGlmdW5kZW4gc2luIGVsIGNvbnNlbnRpbWllbnRvIGRlbCBhdXRvcihlcykgbGVnYWwoZXMpLgoK4oCiICAgICAgIExvcyB0cmFiYWpvcyBxdWUgc2UgcHJvZHV6Y2FuIGEgcGFydGlyIGRlIGxhIG9icmEsIGRlYmUgcG9zZWVyIGxhIGNpdGFjacOzbiBwZXJ0aW5lbnRlIHRhbCBjb21vIGluZGljYW4gbGFzIE5vcm1hcyBBUEEuIENhc28gY29udHJhcmlvLCBzZSBpbmN1cnJpcsOhIGVuIGxhIGZpZ3VyYSBkZWwgcGxhZ2lvLgo= |