Análisis de refinamientos entre sistemas de transiciones modales basado en SAT

Autores
Dania, Carolina Inés
Año de publicación
2009
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Aguirre, Nazareno
Descripción
Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.
Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, diseñar y mantener (éxitosamente) software de calidad y de gran escala (y en los tiempos estipulados). En busca de proveer garantías del correcto funcionamiento del software, surgieron una variedad de técnicas y metodologías de desarrollo con sólidas bases matemáticas y lógicas. Los sistemas de transición de estados (LTS), y la amplia mayoría de sus variantes constituyen un formalismo adecuado para la caracterización del comportamiento operacional de sistemas, incluyendo sistemas reactivos, concurrentes y distribuidos. En particular, los sistemas de transiciones modales (MTS) permiten descripciones parciales de sistemas, las cuales son útiles en etapas tempranas del desarrollo de software. Las relaciones de refinamiento entre MTS son centrales a esta idea. Éstas permiten identificar las especificaciones que más se acercan a la implementación del sistema. El objetivo de este trabajo es equipar a los MTS con herramientas de análisis automático o semi-automático para poder estudiar a éstos objetos y a las relaciones de refinamiento entre ellos.
Carolina Inés Dania
Materia
Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/17

id RDUUNC_c0f178ecabd47460a1fb802155f36028
oai_identifier_str oai:rdu.unc.edu.ar:11086/17
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Análisis de refinamientos entre sistemas de transiciones modales basado en SATDania, Carolina InésSoftware/Program VerificationSemantics of Programming LanguagesBisimulacionesLTSImplementacionesSAT solverAlloyMTSTesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, diseñar y mantener (éxitosamente) software de calidad y de gran escala (y en los tiempos estipulados). En busca de proveer garantías del correcto funcionamiento del software, surgieron una variedad de técnicas y metodologías de desarrollo con sólidas bases matemáticas y lógicas. Los sistemas de transición de estados (LTS), y la amplia mayoría de sus variantes constituyen un formalismo adecuado para la caracterización del comportamiento operacional de sistemas, incluyendo sistemas reactivos, concurrentes y distribuidos. En particular, los sistemas de transiciones modales (MTS) permiten descripciones parciales de sistemas, las cuales son útiles en etapas tempranas del desarrollo de software. Las relaciones de refinamiento entre MTS son centrales a esta idea. Éstas permiten identificar las especificaciones que más se acercan a la implementación del sistema. El objetivo de este trabajo es equipar a los MTS con herramientas de análisis automático o semi-automático para poder estudiar a éstos objetos y a las relaciones de refinamiento entre ellos.Carolina Inés DaniaAguirre, Nazareno2009info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfIncluye referencias bibliográficas: p.125-127.http://hdl.handle.net/11086/17spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:44:08Zoai:rdu.unc.edu.ar:11086/17Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:44:09.109Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
spellingShingle Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
Dania, Carolina Inés
Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
title_short Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_full Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_fullStr Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_full_unstemmed Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_sort Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
dc.creator.none.fl_str_mv Dania, Carolina Inés
author Dania, Carolina Inés
author_facet Dania, Carolina Inés
author_role author
dc.contributor.none.fl_str_mv Aguirre, Nazareno
dc.subject.none.fl_str_mv Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
topic Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
dc.description.none.fl_txt_mv Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.
Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, diseñar y mantener (éxitosamente) software de calidad y de gran escala (y en los tiempos estipulados). En busca de proveer garantías del correcto funcionamiento del software, surgieron una variedad de técnicas y metodologías de desarrollo con sólidas bases matemáticas y lógicas. Los sistemas de transición de estados (LTS), y la amplia mayoría de sus variantes constituyen un formalismo adecuado para la caracterización del comportamiento operacional de sistemas, incluyendo sistemas reactivos, concurrentes y distribuidos. En particular, los sistemas de transiciones modales (MTS) permiten descripciones parciales de sistemas, las cuales son útiles en etapas tempranas del desarrollo de software. Las relaciones de refinamiento entre MTS son centrales a esta idea. Éstas permiten identificar las especificaciones que más se acercan a la implementación del sistema. El objetivo de este trabajo es equipar a los MTS con herramientas de análisis automático o semi-automático para poder estudiar a éstos objetos y a las relaciones de refinamiento entre ellos.
Carolina Inés Dania
description Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.
publishDate 2009
dc.date.none.fl_str_mv 2009
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv Incluye referencias bibliográficas: p.125-127.
http://hdl.handle.net/11086/17
identifier_str_mv Incluye referencias bibliográficas: p.125-127.
url http://hdl.handle.net/11086/17
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1844618974793302016
score 13.070432