Tool support for verifying applications using object-oriented patterns

Applying design patterns is considered a helpful technique for designing software systems. Patterns description, however, results not sufficiently precise providing a weak understanding and making it difficult to be certain when a pattern is being used correctly. We have formally specified properti...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aranda, Gabriela N., Flores, Andrés P., Buccella, Agustina, Reynoso, Luis A.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
Tool Support
Verifying Applications
Object-Oriented Patterns
SOFTWARE ENGINEERING
base de datos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21887
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21887
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Tool Support
Verifying Applications
Object-Oriented Patterns
SOFTWARE ENGINEERING
base de datos
spellingShingle Ciencias Informáticas
Tool Support
Verifying Applications
Object-Oriented Patterns
SOFTWARE ENGINEERING
base de datos
Aranda, Gabriela N.
Flores, Andrés P.
Buccella, Agustina
Reynoso, Luis A.
Tool support for verifying applications using object-oriented patterns
topic_facet Ciencias Informáticas
Tool Support
Verifying Applications
Object-Oriented Patterns
SOFTWARE ENGINEERING
base de datos
description Applying design patterns is considered a helpful technique for designing software systems. Patterns description, however, results not sufficiently precise providing a weak understanding and making it difficult to be certain when a pattern is being used correctly. We have formally specified properties of patterns and a formal basis for object-oriented design. In the present work, our formal basis is used as a support to an automatic tool for verifying proper applications of patterns. The usage of this tool is mainly focused on the learning process about patterns applications. Through a better understanding of patterns, the designer may certify when and how a pattern is being appropriately applied to solve a specific design problem. Furthermore, the whole design process could be improved by using a precise technique supported by an automatic tool for verification.
format Objeto de conferencia
Objeto de conferencia
author Aranda, Gabriela N.
Flores, Andrés P.
Buccella, Agustina
Reynoso, Luis A.
author_facet Aranda, Gabriela N.
Flores, Andrés P.
Buccella, Agustina
Reynoso, Luis A.
author_sort Aranda, Gabriela N.
title Tool support for verifying applications using object-oriented patterns
title_short Tool support for verifying applications using object-oriented patterns
title_full Tool support for verifying applications using object-oriented patterns
title_fullStr Tool support for verifying applications using object-oriented patterns
title_full_unstemmed Tool support for verifying applications using object-oriented patterns
title_sort tool support for verifying applications using object-oriented patterns
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/21887
work_keys_str_mv AT arandagabrielan toolsupportforverifyingapplicationsusingobjectorientedpatterns
AT floresandresp toolsupportforverifyingapplicationsusingobjectorientedpatterns
AT buccellaagustina toolsupportforverifyingapplicationsusingobjectorientedpatterns
AT reynosoluisa toolsupportforverifyingapplicationsusingobjectorientedpatterns
bdutipo_str Repositorios
_version_ 1764820465097900033

Ejemplares similares