Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/17 |
| _version_ | 1801215937459781632 |
|---|---|
| author | Dania, Carolina Inés |
| author2 | Aguirre, Nazareno |
| author_facet | Aguirre, Nazareno Dania, Carolina Inés |
| author_sort | Dania, Carolina Inés |
| collection | Repositorio Digital Universitario |
| description | Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009. |
| format | bachelorThesis |
| id | rdu-unc.17 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2011 |
| record_format | dspace |
| spelling | rdu-unc.172022-10-13T11:33:25Z Análisis de refinamientos entre sistemas de transiciones modales basado en SAT Dania, Carolina Inés Aguirre, Nazareno Software/Program Verification Semantics of Programming Languages Bisimulaciones LTS Implementaciones SAT solver Alloy MTS 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 2011-09-05T19:32:42Z 2011-09-05T19:32:42Z 2009 bachelorThesis Incluye referencias bibliográficas: p.125-127. http://hdl.handle.net/11086/17 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ 127p. : |
| spellingShingle | Software/Program Verification Semantics of Programming Languages Bisimulaciones LTS Implementaciones SAT solver Alloy MTS Dania, Carolina Inés 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 |
| 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_short | Análisis de refinamientos entre sistemas de transiciones modales basado en SAT |
| title_sort | analisis de refinamientos entre sistemas de transiciones modales basado en sat |
| topic | Software/Program Verification Semantics of Programming Languages Bisimulaciones LTS Implementaciones SAT solver Alloy MTS |
| url | http://hdl.handle.net/11086/17 |
| work_keys_str_mv | AT daniacarolinaines analisisderefinamientosentresistemasdetransicionesmodalesbasadoensat |