Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software
Ubicación en Biblioteca USB Medellín (San Benito): CD-1922t.
- Autores:
-
Morales Valencia, David Alejandro
- Tipo de recurso:
- Fecha de publicación:
- 2011
- Institución:
- Universidad de San Buenaventura
- Repositorio:
- Repositorio USB
- Idioma:
- spa
- OAI Identifier:
- oai:bibliotecadigital.usb.edu.co:10819/537
- Acceso en línea:
- http://hdl.handle.net/10819/537
- Palabra clave:
- Ingeniería de software
Investigación
Software
Verificación formal
Métodos formales
Técnicos de ingeniería
- Rights
- License
- http://purl.org/coar/access_right/c_abf2
| id |
SANBUENAV2_664fdb1cba663eae6ef4f1d5551643ce |
|---|---|
| oai_identifier_str |
oai:bibliotecadigital.usb.edu.co:10819/537 |
| network_acronym_str |
SANBUENAV2 |
| network_name_str |
Repositorio USB |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software |
| title |
Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software |
| spellingShingle |
Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software Ingeniería de software Investigación Software Verificación formal Métodos formales Técnicos de ingeniería |
| title_short |
Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software |
| title_full |
Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software |
| title_fullStr |
Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software |
| title_full_unstemmed |
Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software |
| title_sort |
Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software |
| dc.creator.fl_str_mv |
Morales Valencia, David Alejandro |
| dc.contributor.advisor.spa.fl_str_mv |
Serna Montoya, Edgar |
| dc.contributor.author.spa.fl_str_mv |
Morales Valencia, David Alejandro |
| dc.subject.spa.fl_str_mv |
Ingeniería de software Investigación Software |
| topic |
Ingeniería de software Investigación Software Verificación formal Métodos formales Técnicos de ingeniería |
| dc.subject.lemb.spa.fl_str_mv |
Verificación formal Métodos formales Técnicos de ingeniería |
| description |
Ubicación en Biblioteca USB Medellín (San Benito): CD-1922t. |
| publishDate |
2011 |
| dc.date.issued.none.fl_str_mv |
2011 |
| dc.date.accessioned.none.fl_str_mv |
2012-05-07T20:58:27Z |
| dc.date.available.none.fl_str_mv |
2012-05-07T20:58:27Z |
| dc.date.submitted.none.fl_str_mv |
2012 |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.spa.spa.fl_str_mv |
Trabajo de Grado |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/10819/537 |
| url |
http://hdl.handle.net/10819/537 |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.format.medium.spa.fl_str_mv |
Recurso en linea |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.faculty.spa.fl_str_mv |
Ingenierias |
| dc.publisher.program.spa.fl_str_mv |
Ingenieria de Sistemas |
| dc.publisher.sede.spa.fl_str_mv |
Medellin |
| institution |
Universidad de San Buenaventura |
| dc.source.instname.spa.fl_str_mv |
Universidad de San Buenaventura - Medellin |
| dc.source.reponame.spa.fl_str_mv |
Biblioteca Digital Universidad de San Buenaventura |
| bitstream.url.fl_str_mv |
https://bibliotecadigital.usb.edu.co/bitstreams/ce90e9ea-7ce6-452e-9c8b-8c4b1f82aeac/download https://bibliotecadigital.usb.edu.co/bitstreams/c6223d77-3b9a-4b38-b473-3bbdf8e750da/download https://bibliotecadigital.usb.edu.co/bitstreams/99e37d0d-ee9d-46ca-8de9-6d69f88d2e63/download https://bibliotecadigital.usb.edu.co/bitstreams/ff6080fd-0168-4291-885d-8f966268d700/download |
| bitstream.checksum.fl_str_mv |
75fd194f166f183e27ec8f4e248dba92 8a4605be74aa9ea9d79846c1fba20a33 9989dd217a7dd6dd6c30154202a9e99e b7d589a155e7fc8d17bd8a867696a74c |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad de San Buenaventura Colombia |
| repository.mail.fl_str_mv |
bdigital@metabiblioteca.com |
| _version_ |
1837099264473300992 |
| spelling |
Comunidad Científica y AcadémicaSerna Montoya, Edgarcf571676-04a5-446c-b0ed-8f3d6218e672-1Morales Valencia, David Alejandroe8e57400-4c22-4d4f-8628-3da522252d8b-12012-05-07T20:58:27Z2012-05-07T20:58:27Z20112012Ubicación en Biblioteca USB Medellín (San Benito): CD-1922t.La verificación tradicional se ha convertido en el cuello de botella en el flujo de diseño de sistemas de gran complejidad. La simulación de los diseños es muy costoso en términos de tiempo y la simulación exhaustiva es prácticamente imposible. Como resultado, los diseñadores han recurrido a métodos formales para la verificación. La verificación formal garantiza una cobertura total del espacio de estados de todo el diseño a prueba, ofreciendo así confianza en su correción, e incluye técnicas tales como la verificadora de modelos a través de la exploración del espacio de estados y técnicas probadoras de teoremas automatizados. El más automatizado y sin lugar a duda la más popular técnica de verificación formal es la verificadora de modelos simbólica. Mientras obtiene éxito como un método valioso para la verificación de los diseños comerciales secuenciales, todavía es limitado con relación al tamaño de los diseños verificables. Actualmente existe una brecha real de verificación en diseños muy grandes que pueden ser fabricados pero no verificados debido a la complejidad de los problemas. El sector académico y grandes empresas industriales y gubernamentales se enfrentan a grandes retos para reducir la brecha tecnológica, proponiendo nuevas e ingeniosas soluciones en la especificación, creación de los casos de prueba y verificación.Recurso en lineaapplication/pdfhttp://hdl.handle.net/10819/537spaIngenieriasIngenieria de SistemasMedellinPor medio de este formato manifiesto mi voluntad de AUTORIZAR a la Universidad de San Buenaventura, Sede Bogotá, Seccionales Medellín, Cali y Cartagena, la difusión en texto completo de manera gratuita y por tiempo indefinido en la Biblioteca Digital Universidad de San Buenaventura, el documento académico-investigativo objeto de la presente autorización, con fines estrictamente educativos, científicos y culturales, en los términos establecidos en la Ley 23 de 1982, Ley 44 de 1993, Decisión Andina 351 de 1993, Decreto 460 de 1995 y demás normas generales sobre derechos de autor. Como autor manifiesto que el presente documento académico-investigativo es original y se realiza sin violar o usurpar derechos de autor de terceros, por lo tanto, la obra es de mi exclusiva autora y poseo la titularidad sobre la misma. La Universidad de San Buenaventura no será responsable de ninguna utilización indebida del documento por parte de terceros y será exclusivamente mi responsabilidad atender personalmente cualquier reclamación que pueda presentarse a la Universidad. Autorizo a la Biblioteca Digital de la Universidad de San Buenaventura convertir el documento al formato que el repositorio lo requiera (impreso, digital, electrónico o cualquier otro conocido o por conocer) o con fines de preservación digital. Esta autorización no implica renuncia a la facultad que tengo de publicar posteriormente la obra, en forma total o parcial, por lo cual podrá, dando aviso por escrito con no menos de un mes de antelación, solicitar que el documento deje de estar disponible para el público en la Biblioteca Digital de la Universidad de San Buenaventura, así mismo, cuando se requiera por razones legales y/o reglas del editor de una revista.http://purl.org/coar/access_right/c_abf2Universidad de San Buenaventura - MedellinBiblioteca Digital Universidad de San BuenaventuraIngeniería de softwareInvestigaciónSoftwareVerificación formalMétodos formalesTécnicos de ingenieríaIngeniero de SistemasRevisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del softwareTrabajo de grado - PregradoTrabajo de Gradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fPublicationORIGINALRevision_Sistematica_Literatura_Morales_2011.pdfRevision_Sistematica_Literatura_Morales_2011.pdfapplication/pdf1399134https://bibliotecadigital.usb.edu.co/bitstreams/ce90e9ea-7ce6-452e-9c8b-8c4b1f82aeac/download75fd194f166f183e27ec8f4e248dba92MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://bibliotecadigital.usb.edu.co/bitstreams/c6223d77-3b9a-4b38-b473-3bbdf8e750da/download8a4605be74aa9ea9d79846c1fba20a33MD52TEXTRevision_Sistematica_Literatura_Morales_2011.pdf.txtRevision_Sistematica_Literatura_Morales_2011.pdf.txtExtracted texttext/plain83977https://bibliotecadigital.usb.edu.co/bitstreams/99e37d0d-ee9d-46ca-8de9-6d69f88d2e63/download9989dd217a7dd6dd6c30154202a9e99eMD53THUMBNAILRevision_Sistematica_Literatura_Morales_2011.pdf.jpgRevision_Sistematica_Literatura_Morales_2011.pdf.jpgGenerated Thumbnailimage/jpeg14108https://bibliotecadigital.usb.edu.co/bitstreams/ff6080fd-0168-4291-885d-8f966268d700/downloadb7d589a155e7fc8d17bd8a867696a74cMD5410819/537oai:bibliotecadigital.usb.edu.co:10819/5372023-02-24 11:31:39.922https://bibliotecadigital.usb.edu.coRepositorio Institucional Universidad de San Buenaventura Colombiabdigital@metabiblioteca.comTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo= |