Registro:
| Documento: | Tesis de Grado |
| Título: | Refinamiento arquitectónico basado en estilos : conceptualización y aplicación |
| Autor: | Burak, Martín Nicolás |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2008 |
| Fecha en portada: | 2008 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Braberman, Víctor Adrián |
| Director Asistente: | Uchitel, Sebastián |
| Idioma: | Español |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000757_Burak |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000757_Burak.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000757_Burak |
| Ubicación: | Dep.COM 000757 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Burak, Martín Nicolás. (2008). Refinamiento arquitectónico basado en estilos : conceptualización y aplicación. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000757_Burak |
Resumen:
La arquitectura de software es un área de estudio relativamente nueva que estudia las estructuras del software y sus propiedades externamente visibles. Mientras que otros aspectos del área se han desarrollado y consolidado en forma definitiva, el concepto de refinamiento arquitectónico no ha sido estudiado ni desarrollado extensivamente. En este trabajo se presenta un marco teórico formal para el estudio del refinamiento arquitectónico. A partir del mismo, se provee una nueva definición de refinamiento basada en estilos arquitectónicos y en la preservación parcial de propiedades. Se desarrolla luego, una metodología de refinamiento con estilos utilizando el model checker LTSA; gracias a esta metodología es posible verificar automáticamente si dos descripciones arquitectónicas (expresadas mediante las herramientas provistas por LTSA) configuran un refinamiento válido. Se ilustra el uso de la metodología propuesta mediante diferentes ejemplos y se comprueba que la misma permite validar refinamientos de naturaleza compleja. Finalmente se diserta sobre los roles que una metodología como la presentada puede jugar en el desarrollo de sistemas y sobre los beneficios que supone su uso.
Citación:
---------- APA ----------
Burak, Martín Nicolás. (2008). Refinamiento arquitectónico basado en estilos : conceptualización y aplicación. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000757_Burak
---------- CHICAGO ----------
Burak, Martín Nicolás. "Refinamiento arquitectónico basado en estilos : conceptualización y aplicación". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2008.https://hdl.handle.net/20.500.12110/seminario_nCOM000757_Burak
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000757_Burak.pdf
Distrubución geográfica
