Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional

Autores
Baum, Gabriel Alfredo; Medel, Ricardo
Año de publicación
2002
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En este trabajo se propone aplicar el cálculo de relaciones binarias a fin de mejorar la eficiencia del método de verificación de sistemas de software propuesto en [14] y [15]. En dicho método el diseño arquitectónico del sistema es especificado gráficamente, mientras que las propiedades a verificar son expresadas como fórmulas de una lógica modal híbrida o de la lógica Fork. La aplicación de reglas de reducción a dichas fórmulas Fork permite la implementación de algoritmos eficientes para su verificación.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Ingeniería de software
SOFTWARE ENGINEERING
Formal methods
Métodos formales
calculo relacional
Algebras Fork
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23020
Acceder
id SEDICI_832d5455686d8ee6680ed476a4ca7ae7
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23020
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Aportes para al verificación eficiente de sistemas utilizando el cálculo relacionalBaum, Gabriel AlfredoMedel, RicardoCiencias InformáticasIngeniería de softwareSOFTWARE ENGINEERINGFormal methodsMétodos formalescalculo relacionalAlgebras ForkEn este trabajo se propone aplicar el cálculo de relaciones binarias a fin de mejorar la eficiencia del método de verificación de sistemas de software propuesto en [14] y [15]. En dicho método el diseño arquitectónico del sistema es especificado gráficamente, mientras que las propiedades a verificar son expresadas como fórmulas de una lógica modal híbrida o de la lógica Fork. La aplicación de reglas de reducción a dichas fórmulas Fork permite la implementación de algoritmos eficientes para su verificación.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI)2002-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf111-123http://sedici.unlp.edu.ar/handle/10915/23020spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:07Zoai:sedici.unlp.edu.ar:10915/23020Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:07.308SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
spellingShingle Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
Baum, Gabriel Alfredo
Ciencias Informáticas
Ingeniería de software
SOFTWARE ENGINEERING
Formal methods
Métodos formales
calculo relacional
Algebras Fork
title_short Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_full Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_fullStr Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_full_unstemmed Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
title_sort Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
dc.creator.none.fl_str_mv Baum, Gabriel Alfredo
Medel, Ricardo
author Baum, Gabriel Alfredo
author_facet Baum, Gabriel Alfredo
Medel, Ricardo
author_role author
author2 Medel, Ricardo
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Ingeniería de software
SOFTWARE ENGINEERING
Formal methods
Métodos formales
calculo relacional
Algebras Fork
topic Ciencias Informáticas
Ingeniería de software
SOFTWARE ENGINEERING
Formal methods
Métodos formales
calculo relacional
Algebras Fork
dc.description.none.fl_txt_mv En este trabajo se propone aplicar el cálculo de relaciones binarias a fin de mejorar la eficiencia del método de verificación de sistemas de software propuesto en [14] y [15]. En dicho método el diseño arquitectónico del sistema es especificado gráficamente, mientras que las propiedades a verificar son expresadas como fórmulas de una lógica modal híbrida o de la lógica Fork. La aplicación de reglas de reducción a dichas fórmulas Fork permite la implementación de algoritmos eficientes para su verificación.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
description En este trabajo se propone aplicar el cálculo de relaciones binarias a fin de mejorar la eficiencia del método de verificación de sistemas de software propuesto en [14] y [15]. En dicho método el diseño arquitectónico del sistema es especificado gráficamente, mientras que las propiedades a verificar son expresadas como fórmulas de una lógica modal híbrida o de la lógica Fork. La aplicación de reglas de reducción a dichas fórmulas Fork permite la implementación de algoritmos eficientes para su verificación.
publishDate 2002
dc.date.none.fl_str_mv 2002-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23020
url http://sedici.unlp.edu.ar/handle/10915/23020
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
111-123
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260119336779776
score 13.13397

Publicaciones similares