Mostrar el registro sencillo del ítem
Proceso y progreso de la formalización de requisitos
dc.contributor.advisor | Serna M, Edgar | |
dc.contributor.author | Bermúdez, Carmen Eduvina | |
dc.date.accessioned | 2020-06-03T15:57:11Z | |
dc.date.available | 2020-06-03T15:57:11Z | |
dc.date.issued | 2016 | |
dc.identifier.uri | http://hdl.handle.net/20.500.12622/1699 | |
dc.description.abstract | 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. | spa |
dc.format.medium | Recurso electrónico | spa |
dc.format.mimetype | application/pdf | |
dc.language.iso | spa | |
dc.publisher | Instituto Tecnológico Metropolitano | spa |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Desarrollo científico y tecnológico | spa |
dc.title | Proceso y progreso de la formalización de requisitos | spa |
dc.publisher.faculty | Facultad de Ingenierías | spa |
dc.publisher.program | Ingeniería de Sistemas | spa |
dc.subject.keywords | Software engineering | eng |
dc.subject.keywords | Computer software - Development | eng |
dc.subject.lemb | Ingeniería de software | spa |
dc.subject.lemb | Desarrollo de programas para computador | 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.type.local | Trabajo de grado de pregrado | 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 |