Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores
Ingeniero de Sistemas y Computación
- Autores:
-
Fajardo Hernández, Edgar Mauricio
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2008
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/24328
- Acceso en línea:
- http://hdl.handle.net/1992/24328
- Palabra clave:
- Desarrollo de software de aplicación
Lenguajes de programación (Computadores electrónicos digitales)
Arquitectura de computadores
Ingeniería
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-nd/4.0/
id |
UNIANDES2_6b65d6dca99f5b5e02fe8dc33870b2d8 |
---|---|
oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/24328 |
network_acronym_str |
UNIANDES2 |
network_name_str |
Séneca: repositorio Uniandes |
repository_id_str |
|
spelling |
Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Cardoso Rodríguez, Rodrigovirtual::6890-1Fajardo Hernández, Edgar Mauricio087c0afb-4ff0-433c-82e1-056bd25366c55002018-10-03T09:32:29Z2018-10-03T09:32:29Z2008http://hdl.handle.net/1992/24328u355077.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/76 hojasapplication/pdfspaUniandesIngeniería de Sistemas y ComputaciónFacultad de IngenieríaDepartamento de Ingeniería de Sistemas y Computacióninstname:Universidad de los Andesreponame:Repositorio Institucional SénecaAplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensoresTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPDesarrollo de software de aplicaciónLenguajes de programación (Computadores electrónicos digitales)Arquitectura de computadoresIngenieríaIngeniero de Sistemas y ComputaciónPregradoPublicatione926dabb-8857-48e9-88cc-d846807247c9virtual::6890-1e926dabb-8857-48e9-88cc-d846807247c9virtual::6890-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000139688virtual::6890-1ORIGINALu355077.pdfapplication/pdf380130https://repositorio.uniandes.edu.co/bitstreams/f2b7f1e8-749c-494a-ae6a-72151e4eeb84/download30631dd6956d4e0a357fd077375cd9dfMD51TEXTu355077.pdf.txtu355077.pdf.txtExtracted texttext/plain103915https://repositorio.uniandes.edu.co/bitstreams/5482c006-0d81-4383-a6d5-da0bebf7ad8a/download1ef5493118d0ab0663d8cdf95fe8e68cMD54THUMBNAILu355077.pdf.jpgu355077.pdf.jpgIM Thumbnailimage/jpeg4182https://repositorio.uniandes.edu.co/bitstreams/b22c8593-cc1a-420d-b518-7329c8d8b2c5/download0c22a674310f777d1d5d43dcf6653a4fMD551992/24328oai:repositorio.uniandes.edu.co:1992/243282024-03-13 13:17:53.028http://creativecommons.org/licenses/by-nc-nd/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co |
dc.title.es_CO.fl_str_mv |
Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores |
title |
Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores |
spellingShingle |
Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores Desarrollo de software de aplicación Lenguajes de programación (Computadores electrónicos digitales) Arquitectura de computadores Ingeniería |
title_short |
Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores |
title_full |
Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores |
title_fullStr |
Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores |
title_full_unstemmed |
Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores |
title_sort |
Aplicación de la "comprobación de modelos " en la verificación de la capa Web y en modelos de ascensores |
dc.creator.fl_str_mv |
Fajardo Hernández, Edgar Mauricio |
dc.contributor.advisor.none.fl_str_mv |
Cardoso Rodríguez, Rodrigo |
dc.contributor.author.none.fl_str_mv |
Fajardo Hernández, Edgar Mauricio |
dc.subject.keyword.es_CO.fl_str_mv |
Desarrollo de software de aplicación Lenguajes de programación (Computadores electrónicos digitales) Arquitectura de computadores |
topic |
Desarrollo de software de aplicación Lenguajes de programación (Computadores electrónicos digitales) Arquitectura de computadores Ingeniería |
dc.subject.themes.none.fl_str_mv |
Ingeniería |
description |
Ingeniero de Sistemas y Computación |
publishDate |
2008 |
dc.date.issued.none.fl_str_mv |
2008 |
dc.date.accessioned.none.fl_str_mv |
2018-10-03T09:32:29Z |
dc.date.available.none.fl_str_mv |
2018-10-03T09:32:29Z |
dc.type.spa.fl_str_mv |
Trabajo de grado - Pregrado |
dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
dc.type.content.spa.fl_str_mv |
Text |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TP |
format |
http://purl.org/coar/resource_type/c_7a1f |
dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/24328 |
dc.identifier.pdf.none.fl_str_mv |
u355077.pdf |
dc.identifier.instname.spa.fl_str_mv |
instname:Universidad de los Andes |
dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Séneca |
dc.identifier.repourl.spa.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
url |
http://hdl.handle.net/1992/24328 |
identifier_str_mv |
u355077.pdf instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
dc.language.iso.es_CO.fl_str_mv |
spa |
language |
spa |
dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ http://purl.org/coar/access_right/c_abf2 |
eu_rights_str_mv |
openAccess |
dc.format.extent.es_CO.fl_str_mv |
76 hojas |
dc.format.mimetype.es_CO.fl_str_mv |
application/pdf |
dc.publisher.es_CO.fl_str_mv |
Uniandes |
dc.publisher.program.es_CO.fl_str_mv |
Ingeniería de Sistemas y Computación |
dc.publisher.faculty.es_CO.fl_str_mv |
Facultad de Ingeniería |
dc.publisher.department.es_CO.fl_str_mv |
Departamento de Ingeniería de Sistemas y Computación |
dc.source.es_CO.fl_str_mv |
instname:Universidad de los Andes reponame:Repositorio Institucional Séneca |
instname_str |
Universidad de los Andes |
institution |
Universidad de los Andes |
reponame_str |
Repositorio Institucional Séneca |
collection |
Repositorio Institucional Séneca |
bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/f2b7f1e8-749c-494a-ae6a-72151e4eeb84/download https://repositorio.uniandes.edu.co/bitstreams/5482c006-0d81-4383-a6d5-da0bebf7ad8a/download https://repositorio.uniandes.edu.co/bitstreams/b22c8593-cc1a-420d-b518-7329c8d8b2c5/download |
bitstream.checksum.fl_str_mv |
30631dd6956d4e0a357fd077375cd9df 1ef5493118d0ab0663d8cdf95fe8e68c 0c22a674310f777d1d5d43dcf6653a4f |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositorio institucional Séneca |
repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
_version_ |
1812133906710790144 |