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...

Full description

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 Tesis/Trabajo de grado - Monografía - Pregrado
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.driver.none.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://repositorio.itm.edu.co/bitstream/20.500.12622/1699/3/Rep_Itm_pre_Bermudez.pdf.jpg
https://repositorio.itm.edu.co/bitstream/20.500.12622/1699/1/Rep_Itm_pre_Bermudez.pdf
https://repositorio.itm.edu.co/bitstream/20.500.12622/1699/2/license.txt
bitstream.checksum.fl_str_mv eda0ce7549058eedeb1420d701cf6890
22187ca1a01292e519950e1468e6d78b
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Instituto Tecnológico Metropolitano ITM
repository.mail.fl_str_mv repositorio@itm.edu.co
_version_ 1812189352408645632
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 requisitosTesis/Trabajo de grado - Monografía - Pregradohttp://purl.org/coar/resource_type/c_7a1finfo:eu-repo/semantics/bachelorThesisTHUMBNAILRep_Itm_pre_Bermudez.pdf.jpgRep_Itm_pre_Bermudez.pdf.jpgGenerated Thumbnailimage/jpeg3425https://repositorio.itm.edu.co/bitstream/20.500.12622/1699/3/Rep_Itm_pre_Bermudez.pdf.jpgeda0ce7549058eedeb1420d701cf6890MD53ORIGINALRep_Itm_pre_Bermudez.pdfRep_Itm_pre_Bermudez.pdfapplication/pdf1243298https://repositorio.itm.edu.co/bitstream/20.500.12622/1699/1/Rep_Itm_pre_Bermudez.pdf22187ca1a01292e519950e1468e6d78bMD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.itm.edu.co/bitstream/20.500.12622/1699/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD5220.500.12622/1699oai:repositorio.itm.edu.co:20.500.12622/16992021-03-23 09:48:15.133Repositorio Instituto Tecnológico Metropolitano ITMrepositorio@itm.edu.coTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=

Publicaciones similares