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
- Institución
- Universidad Nacional de Córdoba
- OAI Identificador
- oai:rdu.unc.edu.ar:11086/17
Ver los metadatos del registro completo
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 |