dc.contributor.advisor | Aguirre, Nazareno | es |
dc.contributor.author | Dania, Carolina Inés | es |
dc.date.accessioned | 2011-09-05T19:32:42Z | |
dc.date.available | 2011-09-05T19:32:42Z | |
dc.date.issued | 2009 | es |
dc.identifier.citation | Incluye referencias bibliográficas: p.125-127. | es |
dc.identifier.uri | http://hdl.handle.net/11086/17 | |
dc.description | Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009. | es |
dc.description.abstract | 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. | es |
dc.description.statementofresponsibility | Carolina Inés Dania | es |
dc.format.extent | 127p. : | es |
dc.language.iso | spa | es |
dc.rights | Atribución-NoComercial-SinDerivadas 2.5 Argentina | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ | * |
dc.subject | Software/Program Verification | es |
dc.subject | Semantics of Programming Languages | es |
dc.subject.other | Bisimulaciones | es |
dc.subject.other | LTS | es |
dc.subject.other | Implementaciones | es |
dc.subject.other | SAT solver | es |
dc.subject.other | Alloy | es |
dc.subject.other | MTS | es |
dc.title | Análisis de refinamientos entre sistemas de transiciones modales basado en SAT | es |
dc.type | bachelorThesis | es |