Publicación:
Proceso y progreso de la formalización de requisitos

Vista sencilla de ítem
dc.contributor.advisorSerna M, Edgar
dc.contributor.authorBermúdez, Carmen Eduvina
dc.date.accessioned2020-06-03T15:57:11Z
dc.date.available2020-06-03T15:57:11Z
dc.date.issued2016
dc.description.abstractLos 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.description.degreelevelpregradospa
dc.description.degreenameIngeniero de Sistemasspa
dc.format.mediumRecurso electrónicospa
dc.format.mimetypeapplication/pdf
dc.identifier.instnameinstname:Institución Universitaria ITMspa
dc.identifier.reponamereponame:Repositorio Institucional Institución Universitaria ITMspa
dc.identifier.repourlrepourl:https://repositorio.itm.edu.co/
dc.identifier.urihttps://hdl.handle.net/20.500.12622/1699
dc.language.isospa
dc.publisherInstitución Universitaria ITMspa
dc.publisher.facultyFacultad de Ingenieríasspa
dc.publisher.grantorInstitución Universitaria ITMspa
dc.publisher.programIngeniería de Sistemasspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.creativecommonsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.localAcceso abiertospa
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectDesarrollo científico y tecnológicospa
dc.subject.keywordsSoftware engineeringeng
dc.subject.keywordsComputer software - Developmenteng
dc.subject.lembIngeniería de softwarespa
dc.subject.lembDesarrollo de programas para computadorspa
dc.titleProceso y progreso de la formalización de requisitosspa
dc.typeTrabajo de grado de pregradospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1fspa
dc.type.driverinfo:eu-repo/semantics/bachelorThesisspa
dspace.entity.typePublication

Archivos

Bloque original

Mostrando 1 - 2 de 2
Miniatura
Nombre:
Rep_Itm_pre_Bermudez.pdf
Tamaño:
1.19 MB
Formato:
Adobe Portable Document Format
Descripción:
Trabajo de grado
Descargar
Miniatura
Nombre:
Carta_Autorización_Divulgación_Bermudez_2016.pdf
Tamaño:
172.92 KB
Formato:
Adobe Portable Document Format
Descripción:
Carta de autorización
Descargar

Bloque de licencias

Mostrando 1 - 1 de 1
Miniatura
Nombre:
license.txt
Tamaño:
1.71 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Ingeniería de Sistemas