Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Repositorio Digital Universitario - Universidad Nacional de Córdoba | - |
| dc.contributor | Aguirre, Nazareno | - |
| dc.creator | Dania, Carolina Inés | - |
| dc.date | 2009 | - |
| dc.date.accessioned | 2019-07-13T15:53:20Z | - |
| dc.date.available | 2019-07-13T15:53:20Z | - |
| dc.date.issued | 2009 | - |
| dc.identifier | Incluye referencias bibliográficas: p.125-127. | - |
| dc.identifier | http://hdl.handle.net/11086/17 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/566668 | - |
| dc.description | Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009. | - |
| dc.description | 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. | - |
| dc.description | Carolina Inés Dania | - |
| dc.format | application/pdf | - |
| dc.language | spa | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.source | reponame:Repositorio Digital Universitario (UNC) | - |
| dc.source | instname:Universidad Nacional de Córdoba | - |
| dc.source | instacron:UNC | - |
| dc.source.uri | http://hdl.handle.net/11086/17 | - |
| dc.subject | Software/Program Verification | - |
| dc.subject | Semantics of Programming Languages | - |
| dc.subject | Bisimulaciones | - |
| dc.subject | LTS | - |
| dc.subject | Implementaciones | - |
| dc.subject | SAT solver | - |
| dc.subject | Alloy | - |
| dc.subject | MTS | - |
| dc.title | Análisis de refinamientos entre sistemas de transiciones modales basado en SAT | - |
| dc.type | info:eu-repo/semantics/bachelorThesis | - |
| dc.type | info:eu-repo/semantics/acceptedVersion | - |
| dc.type | info:ar-repo/semantics/tesisDeGrado | - |
| Aparece en las colecciones: | Universidad Nacional de Córdoba. Repositorio Digital Universitario | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.