Un modelo formal de patrones orientados a objetos

La mayoría de los métodos de desarrollo de software orientado a objetos imponen ciertos conceptos que son generalmente aceptados. Frameworks y patterns expresan ejemplos de buenas prácticas que pueden usarse para alcanzar resultados más efectivos. Pero en algunos casos particulares, es necesario una...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cechich, Alejandra, Moore, Richard
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2000
Materias:
Ciencias Informáticas
patterns
base de datos
SOFTWARE ENGINEERING
métodos formales
Frameworks
Formal models
orientación a objetos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22146
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22146
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
patterns
base de datos
SOFTWARE ENGINEERING
métodos formales
Frameworks
Formal models
orientación a objetos
spellingShingle Ciencias Informáticas
patterns
base de datos
SOFTWARE ENGINEERING
métodos formales
Frameworks
Formal models
orientación a objetos
Cechich, Alejandra
Moore, Richard
Un modelo formal de patrones orientados a objetos
topic_facet Ciencias Informáticas
patterns
base de datos
SOFTWARE ENGINEERING
métodos formales
Frameworks
Formal models
orientación a objetos
description La mayoría de los métodos de desarrollo de software orientado a objetos imponen ciertos conceptos que son generalmente aceptados. Frameworks y patterns expresan ejemplos de buenas prácticas que pueden usarse para alcanzar resultados más efectivos. Pero en algunos casos particulares, es necesario una especificación formal que pueda verificarse a fin de producir sistemas mús seguros. Los patrones de Gamma (GoF patterns) desempeñan varios roles en el proceso de desarrollo orientado a objetos: proveen un vocabulario común para diseño; constituyen una base de experiencia para construir software reusable; y actúan como elementos básicos a partir de los cuales pueden construirse diseños más complejos. Una notación más formal que permita especificar en forma más segura, consistente y completa es todavía un desafío. Un primer trabajo en esa dirección [EdeA] representa patrones como formulas de LePus, un lenguaje definido como un fragmento de la lógica de primer orden [EdeB]. En [Mik98] se presenta un modelo abstracto de patrones, construido usando el método DisCo que se fundamenta en la lógica temporal. En este resumen, presentamos nuestro modelo formal de patrones basado en RSL (RAlSE Specification Language), y el estado actual de su desarrollo. 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 Un modelo formal de patrones orientados a objetos
title_short Un modelo formal de patrones orientados a objetos
title_full Un modelo formal de patrones orientados a objetos
title_fullStr Un modelo formal de patrones orientados a objetos
title_full_unstemmed Un modelo formal de patrones orientados a objetos
title_sort un modelo formal de patrones orientados a objetos
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/22146
work_keys_str_mv AT cechichalejandra unmodeloformaldepatronesorientadosaobjetos
AT moorerichard unmodeloformaldepatronesorientadosaobjetos
bdutipo_str Repositorios
_version_ 1764820465597022210

Ejemplares similares