Proceso y progreso de la formalización de requisitos
Los métodos formales son un área de las Ciencias Computacionales que ha evolucionado ampliamente en las últimas dos décadas. Actualmente tienen mayor uso en el desarrollo de software crítico, pero varios investigadores vienen trabajando en su incorporación en todo tipo de producto software. En este...
- Autores:
-
Bermúdez, Carmen Eduvina
- 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/1699
- Acceso en línea:
- http://hdl.handle.net/20.500.12622/1699
- Palabra clave:
- Desarrollo científico y tecnológico
Software engineering
Computer software - Development
Ingeniería de software
Desarrollo de programas para computador
- Rights
- License
- http://creativecommons.org/licenses/by-nc-nd/4.0/
| id |
RepoITM2_0e1b0fff2351ef679cf41c1f34d4530c |
|---|---|
| oai_identifier_str |
oai:repositorio.itm.edu.co:20.500.12622/1699 |
| network_acronym_str |
RepoITM2 |
| network_name_str |
Repositorio ITM |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Proceso y progreso de la formalización de requisitos |
| title |
Proceso y progreso de la formalización de requisitos |
| spellingShingle |
Proceso y progreso de la formalización de requisitos Desarrollo científico y tecnológico Software engineering Computer software - Development Ingeniería de software Desarrollo de programas para computador |
| title_short |
Proceso y progreso de la formalización de requisitos |
| title_full |
Proceso y progreso de la formalización de requisitos |
| title_fullStr |
Proceso y progreso de la formalización de requisitos |
| title_full_unstemmed |
Proceso y progreso de la formalización de requisitos |
| title_sort |
Proceso y progreso de la formalización de requisitos |
| dc.creator.fl_str_mv |
Bermúdez, Carmen Eduvina |
| dc.contributor.advisor.none.fl_str_mv |
Serna M, Edgar |
| dc.contributor.author.none.fl_str_mv |
Bermúdez, Carmen Eduvina |
| dc.subject.spa.fl_str_mv |
Desarrollo científico y tecnológico |
| topic |
Desarrollo científico y tecnológico Software engineering Computer software - Development Ingeniería de software Desarrollo de programas para computador |
| dc.subject.keywords.eng.fl_str_mv |
Software engineering Computer software - Development |
| dc.subject.lemb.spa.fl_str_mv |
Ingeniería de software Desarrollo de programas para computador |
| description |
Los métodos formales son un área de las Ciencias Computacionales que ha evolucionado ampliamente en las últimas dos décadas. Actualmente tienen mayor uso en el desarrollo de software crítico, pero varios investigadores vienen trabajando en su incorporación en todo tipo de producto software. En este proyecto se averiguará por el estado actual de este proceso, desde el punto de vista de la formalización de los requisitos. El objetivo es encontrar cuál ha sido el proceso y el progreso de esta formalización, para tener un mapa de la temática y pensarla como contenido del plan de estudios en la Ingeniería de Sistemas. |
| publishDate |
2016 |
| dc.date.issued.none.fl_str_mv |
2016 |
| dc.date.accessioned.none.fl_str_mv |
2020-06-03T15:57:11Z |
| dc.date.available.none.fl_str_mv |
2020-06-03T15:57:11Z |
| dc.type.local.spa.fl_str_mv |
Trabajo de grado de pregrado |
| 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/1699 |
| 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/1699 |
| identifier_str_mv |
instname:Instituto Tecnológico Metropolitano reponame:Repositorio Institucional Instituto Tecnológico Metropolitano repourl:https://repositorio.itm.edu.co/ |
| dc.language.iso.none.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.medium.spa.fl_str_mv |
Recurso electrónico |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Instituto Tecnológico Metropolitano |
| 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/1f97ddfb-3891-4a10-986c-1c456de3978f/download https://dspace-itm.metabuscador.org/bitstreams/c6d3bc6f-9503-4c7b-945a-c81b18d2f5ac/download https://dspace-itm.metabuscador.org/bitstreams/e17049bb-8800-41e3-833c-b53d6f80ae18/download https://dspace-itm.metabuscador.org/bitstreams/4e4772ed-6350-49e3-bb0c-421bf2b4a128/download https://dspace-itm.metabuscador.org/bitstreams/966362cb-a577-4116-b87a-4cbd01e7162e/download https://dspace-itm.metabuscador.org/bitstreams/ca58c03c-e84f-4ee6-a25f-c0b533183415/download https://dspace-itm.metabuscador.org/bitstreams/b19a18ea-aca6-4922-a736-00cb3b17dba1/download |
| bitstream.checksum.fl_str_mv |
eda0ce7549058eedeb1420d701cf6890 7eb53472e0f80f3ef0a53f1d894d67e7 22187ca1a01292e519950e1468e6d78b 56bb2f62a0f4c1318d31db40b09db7d7 8a4605be74aa9ea9d79846c1fba20a33 bb76f30deb40a3a0cdeea94504a18838 cefd1f91c54a3ab482db4b7b7172010f |
| 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_ |
1837096911458271232 |
| spelling |
Serna M, EdgarBermúdez, Carmen Eduvina2020-06-03T15:57:11Z2020-06-03T15:57:11Z2016http://hdl.handle.net/20.500.12622/1699instname:Instituto Tecnológico Metropolitanoreponame:Repositorio Institucional Instituto Tecnológico Metropolitanorepourl:https://repositorio.itm.edu.co/Los métodos formales son un área de las Ciencias Computacionales que ha evolucionado ampliamente en las últimas dos décadas. Actualmente tienen mayor uso en el desarrollo de software crítico, pero varios investigadores vienen trabajando en su incorporación en todo tipo de producto software. En este proyecto se averiguará por el estado actual de este proceso, desde el punto de vista de la formalización de los requisitos. El objetivo es encontrar cuál ha sido el proceso y el progreso de esta formalización, para tener un mapa de la temática y pensarla como contenido del plan de estudios en la Ingeniería de Sistemas.Ingeniero de SistemaspregradoRecurso electrónicoapplication/pdfspaInstituto Tecnológico MetropolitanoFacultad de IngenieríasIngeniería de SistemasInstituto Tecnológico Metropolitanohttp://creativecommons.org/licenses/by-nc-nd/4.0/Acceso abiertoAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://purl.org/coar/access_right/c_abf2Desarrollo científico y tecnológicoSoftware engineeringComputer software - DevelopmentIngeniería de softwareDesarrollo de programas para computadorProceso y progreso de la formalización de requisitosTrabajo de grado de pregradohttp://purl.org/coar/resource_type/c_7a1finfo:eu-repo/semantics/bachelorThesisPublicationTHUMBNAILRep_Itm_pre_Bermudez.pdf.jpgRep_Itm_pre_Bermudez.pdf.jpgGenerated Thumbnailimage/jpeg3425https://dspace-itm.metabuscador.org/bitstreams/1f97ddfb-3891-4a10-986c-1c456de3978f/downloadeda0ce7549058eedeb1420d701cf6890MD53falseAnonymousREADCarta_Autorización_Divulgación_Bermudez_2016.pdf.jpgCarta_Autorización_Divulgación_Bermudez_2016.pdf.jpgGenerated Thumbnailimage/jpeg7094https://dspace-itm.metabuscador.org/bitstreams/c6d3bc6f-9503-4c7b-945a-c81b18d2f5ac/download7eb53472e0f80f3ef0a53f1d894d67e7MD55falseAnonymousREADORIGINALRep_Itm_pre_Bermudez.pdfRep_Itm_pre_Bermudez.pdfTrabajo de gradoapplication/pdf1243298https://dspace-itm.metabuscador.org/bitstreams/e17049bb-8800-41e3-833c-b53d6f80ae18/download22187ca1a01292e519950e1468e6d78bMD51trueAnonymousREADCarta_Autorización_Divulgación_Bermudez_2016.pdfCarta_Autorización_Divulgación_Bermudez_2016.pdfCarta de autorizaciónapplication/pdf177069https://dspace-itm.metabuscador.org/bitstreams/4e4772ed-6350-49e3-bb0c-421bf2b4a128/download56bb2f62a0f4c1318d31db40b09db7d7MD54falseAnonymousREAD2070-12-31LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace-itm.metabuscador.org/bitstreams/966362cb-a577-4116-b87a-4cbd01e7162e/download8a4605be74aa9ea9d79846c1fba20a33MD52falseAnonymousREADTEXTRep_Itm_pre_Bermudez.pdf.txtRep_Itm_pre_Bermudez.pdf.txtExtracted texttext/plain101487https://dspace-itm.metabuscador.org/bitstreams/ca58c03c-e84f-4ee6-a25f-c0b533183415/downloadbb76f30deb40a3a0cdeea94504a18838MD56falseAnonymousREADCarta_Autorización_Divulgación_Bermudez_2016.pdf.txtCarta_Autorización_Divulgación_Bermudez_2016.pdf.txtExtracted texttext/plain3928https://dspace-itm.metabuscador.org/bitstreams/b19a18ea-aca6-4922-a736-00cb3b17dba1/downloadcefd1f91c54a3ab482db4b7b7172010fMD57falseAnonymousREAD2070-12-3120.500.12622/1699oai:dspace-itm.metabuscador.org:20.500.12622/16992025-06-24 09:30:27.202http://creativecommons.org/licenses/by-nc-nd/4.0/open.accesshttps://dspace-itm.metabuscador.orgRepositorio Instituto Tecnológico Metropolitano de Medellínbdigital@metabiblioteca.comTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo= |