Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++

Descripción del Articulo

Presentación que se llevó a cabo durante el III Congreso Internacional de Computación y Telecomunicaciones COMTEL 2011 del 19 al 21 de octubre de 2011 en Lima, Perú. COMTEL, es un certamen organizado por la Facultad de Ingeniería de Sistemas, Cómputo y Telecomunicaciones de la Universidad Inca Garci...

Descripción completa

Detalles Bibliográficos
Autores: Vidal-Duarte, Elizabeth, Mogrovejo Ramirez, César, Castro Gutierrez, Eveling
Formato: objeto de conferencia
Fecha de Publicación:2011
Institución:Universidad Inca Garcilaso de la Vega
Repositorio:UIGV-Institucional
Lenguaje:español
OAI Identifier:oai:repositorio.uigv.edu.pe:20.500.11818/896
Enlace del recurso:https://hdl.handle.net/20.500.11818/896
Nivel de acceso:acceso abierto
Materia:Ingeniería de Sistemas
Computación
Ingeniería de programas informáticos
Programas de computadora
Modelos
VDM++ToolBox
Desarrollo de software
Electrocardiógrafo
Computer sciences
Software engineering
Computer programs
Models
Software development
Electrocardiograph
id UIGV_13a4e2f77396ffdec5e4fcd034253b5f
oai_identifier_str oai:repositorio.uigv.edu.pe:20.500.11818/896
network_acronym_str UIGV
network_name_str UIGV-Institucional
repository_id_str 4817
spelling Vidal-Duarte, ElizabethMogrovejo Ramirez, CésarCastro Gutierrez, Eveling2017-06-23T16:42:27Z2017-06-23T16:42:27Z2011-10https://hdl.handle.net/20.500.11818/896Presentación que se llevó a cabo durante el III Congreso Internacional de Computación y Telecomunicaciones COMTEL 2011 del 19 al 21 de octubre de 2011 en Lima, Perú. COMTEL, es un certamen organizado por la Facultad de Ingeniería de Sistemas, Cómputo y Telecomunicaciones de la Universidad Inca Garcilaso de la Vega, que congrega a profesionales, investigadores y estudiantes de diversos países con el fin de difundir e intercambiar conocimientos, mostrar experiencias académicas-científicas y soluciones para empresas en las áreas de Computación, Telecomunicaciones y disciplinas afines.Una de las herramientas más utilizadas para modelar los requerimientos funcionales es el Modelo del Dominio. Muchas veces, dependiendo de la complejidad de los requerimientos a ser modelados, no es posible que dicho modelo capture todos los detalles y restricciones relacionados. Esto puede causar que el Modelo del Dominio sea sujeto de interpretaciones subjetivas que conlleven a errores de implementación más adelante. Este artículo presenta una forma de reducir la ambigüedad en el Modelo del Dominio mediante el uso de especificaciones formales ligeras en VDM++. A modo de ejemplo, presentamos la especificación formal de un electrocardiógrafo digital. La especificación está basada en la descripción de las características del funcionamiento del electrocardiógrafo. Se pone especial atención en las características de la captura de la señal electrocardiográfica. Se ha identificado propiedades y restricciones importantes que permiten incrementar la confiabilidad al momento de la implementación. Las propiedades y restricciones se han especificado en forma de invariantes y precondiciones. La validación de la propuesta se realizó con la herramienta VDM++ToolBox.spaUniversidad Inca Garcilaso de la Vegainfo:eu-repo/semantics/openAccessUniversidad Inca Garcilaso de la VegaRepositorio Institucional - UIGVreponame:UIGV-Institucionalinstname:Universidad Inca Garcilaso de la Vegainstacron:UIGVIngeniería de SistemasComputaciónIngeniería de programas informáticosProgramas de computadoraModelosVDM++ToolBoxDesarrollo de softwareElectrocardiógrafoComputer sciencesSoftware engineeringComputer programsModelsSoftware developmentElectrocardiographReduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++info:eu-repo/semantics/conferenceObjectORIGINALCOMTEL-2011-30-33.pdfCOMTEL-2011-30-33.pdfapplication/pdf625461https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/961c36af-17dc-4e05-8b3a-f0c73dde4411/content59205237fb736734d99a92b57bf0b18dMD51TEXTCOMTEL-2011-30-33.pdf.txtCOMTEL-2011-30-33.pdf.txtExtracted texttext/plain10287https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/07e57f2c-c792-4d2f-8147-0b6eae4c4e40/content44ab2ec43eb14ab0d8d940563802a192MD57THUMBNAILCOMTEL-2011-30-33.pdf.jpgCOMTEL-2011-30-33.pdf.jpgGenerated Thumbnailimage/jpeg21152https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/fcaa7104-92a3-4a49-9a3f-c546ab101ec4/content38697a76fdcdc933e619e75c60f5b3f2MD5820.500.11818/896oai:repositorio.uigv.edu.pe:20.500.11818/8962024-10-11 20:55:51.869open.accesshttps://repositorio.uigv.edu.peRepositorio de la Universidad Inca Garcilaso de la Vegarepositorio@uigv.edu.pe
dc.title.es_PE.fl_str_mv Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
title Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
spellingShingle Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
Vidal-Duarte, Elizabeth
Ingeniería de Sistemas
Computación
Ingeniería de programas informáticos
Programas de computadora
Modelos
VDM++ToolBox
Desarrollo de software
Electrocardiógrafo
Computer sciences
Software engineering
Computer programs
Models
Software development
Electrocardiograph
title_short Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
title_full Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
title_fullStr Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
title_full_unstemmed Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
title_sort Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
author Vidal-Duarte, Elizabeth
author_facet Vidal-Duarte, Elizabeth
Mogrovejo Ramirez, César
Castro Gutierrez, Eveling
author_role author
author2 Mogrovejo Ramirez, César
Castro Gutierrez, Eveling
author2_role author
author
dc.contributor.author.fl_str_mv Vidal-Duarte, Elizabeth
Mogrovejo Ramirez, César
Castro Gutierrez, Eveling
dc.subject.es_PE.fl_str_mv Ingeniería de Sistemas
Computación
Ingeniería de programas informáticos
Programas de computadora
Modelos
VDM++ToolBox
Desarrollo de software
Electrocardiógrafo
Computer sciences
Software engineering
Computer programs
Models
Software development
Electrocardiograph
topic Ingeniería de Sistemas
Computación
Ingeniería de programas informáticos
Programas de computadora
Modelos
VDM++ToolBox
Desarrollo de software
Electrocardiógrafo
Computer sciences
Software engineering
Computer programs
Models
Software development
Electrocardiograph
description Presentación que se llevó a cabo durante el III Congreso Internacional de Computación y Telecomunicaciones COMTEL 2011 del 19 al 21 de octubre de 2011 en Lima, Perú. COMTEL, es un certamen organizado por la Facultad de Ingeniería de Sistemas, Cómputo y Telecomunicaciones de la Universidad Inca Garcilaso de la Vega, que congrega a profesionales, investigadores y estudiantes de diversos países con el fin de difundir e intercambiar conocimientos, mostrar experiencias académicas-científicas y soluciones para empresas en las áreas de Computación, Telecomunicaciones y disciplinas afines.
publishDate 2011
dc.date.accessioned.none.fl_str_mv 2017-06-23T16:42:27Z
dc.date.available.none.fl_str_mv 2017-06-23T16:42:27Z
dc.date.issued.fl_str_mv 2011-10
dc.type.es_PE.fl_str_mv info:eu-repo/semantics/conferenceObject
format conferenceObject
dc.identifier.uri.none.fl_str_mv https://hdl.handle.net/20.500.11818/896
url https://hdl.handle.net/20.500.11818/896
dc.language.iso.es_PE.fl_str_mv spa
language spa
dc.rights.es_PE.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.es_PE.fl_str_mv Universidad Inca Garcilaso de la Vega
dc.source.es_PE.fl_str_mv Universidad Inca Garcilaso de la Vega
Repositorio Institucional - UIGV
dc.source.none.fl_str_mv reponame:UIGV-Institucional
instname:Universidad Inca Garcilaso de la Vega
instacron:UIGV
instname_str Universidad Inca Garcilaso de la Vega
instacron_str UIGV
institution UIGV
reponame_str UIGV-Institucional
collection UIGV-Institucional
bitstream.url.fl_str_mv https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/961c36af-17dc-4e05-8b3a-f0c73dde4411/content
https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/07e57f2c-c792-4d2f-8147-0b6eae4c4e40/content
https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/fcaa7104-92a3-4a49-9a3f-c546ab101ec4/content
bitstream.checksum.fl_str_mv 59205237fb736734d99a92b57bf0b18d
44ab2ec43eb14ab0d8d940563802a192
38697a76fdcdc933e619e75c60f5b3f2
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio de la Universidad Inca Garcilaso de la Vega
repository.mail.fl_str_mv repositorio@uigv.edu.pe
_version_ 1835829146200047616
score 13.754011
Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).

Ejemplares Similares