Una especificación precisa para patrones GoF

Una especificación formal que permita definir en forma precisa la semántica de patrones de diseño, en particular patrones de Gamma o GoF [1], puede ser la base para definir una herramienta que ayude a desarrollar software más seguro. En ciertos dominios, certificar el uso de métodos y técnicas es in...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cechich, Alejandra, Moore, Richard
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
Especificación Precisa
SOFTWARE ENGINEERING
Patrones GoF
Patterns
Métodos Formales
Orientación a Objetos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21723
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21723
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Especificación Precisa
SOFTWARE ENGINEERING
Patrones GoF
Patterns
Métodos Formales
Orientación a Objetos
spellingShingle Ciencias Informáticas
Especificación Precisa
SOFTWARE ENGINEERING
Patrones GoF
Patterns
Métodos Formales
Orientación a Objetos
Cechich, Alejandra
Moore, Richard
Una especificación precisa para patrones GoF
topic_facet Ciencias Informáticas
Especificación Precisa
SOFTWARE ENGINEERING
Patrones GoF
Patterns
Métodos Formales
Orientación a Objetos
description Una especificación formal que permita definir en forma precisa la semántica de patrones de diseño, en particular patrones de Gamma o GoF [1], puede ser la base para definir una herramienta que ayude a desarrollar software más seguro. En ciertos dominios, certificar el uso de métodos y técnicas es indispensable para asegurar la calidad del software producido. Sin embargo, una notación más formal para patrones – que permita especificar en forma más segura, consistente y completa – es todavía un desafío. Nuestro primer trabajo en esa dirección y su extensión para incluir características semánticas implícitas en la estructura de un patrón [2][3], basados ambos en RSL (RAISE Specification Language) [4], fue originalmente comunicado en [5]. Esa formalización incluía sólo algunos patrones del catálogo de Gamma, aunque para verificar eventualmente que un diseño utiliza algún patrón es necesario incluir mayor cantidad (y diversos tipos) de patrones. Por otra parte, variaciones de los patrones también deberían considerarse. En este resumen, presentamos una semántica precisa para patrones con la que finalmente ha sido modelado todo el catálogo de Gamma. Esa semántica ha servido también para iniciar la formalización de variaciones de esos patrones y de otros aplicables al análisis de dominios en lugar de al diseño de software. Futuras extensiones son abordadas al final.
format Objeto de conferencia
Objeto de conferencia
author Cechich, Alejandra
Moore, Richard
author_facet Cechich, Alejandra
Moore, Richard
author_sort Cechich, Alejandra
title Una especificación precisa para patrones GoF
title_short Una especificación precisa para patrones GoF
title_full Una especificación precisa para patrones GoF
title_fullStr Una especificación precisa para patrones GoF
title_full_unstemmed Una especificación precisa para patrones GoF
title_sort una especificación precisa para patrones gof
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/21723
work_keys_str_mv AT cechichalejandra unaespecificacionprecisaparapatronesgof
AT moorerichard unaespecificacionprecisaparapatronesgof
bdutipo_str Repositorios
_version_ 1764820464842047488

Ejemplares similares