Component-based tool 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 a metamod...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Reynoso, Luis A., Buccella, Agustina, Flores, Andrés P., Aranda, Gabriela N.
Formato:	Articulo
Lenguaje:	Inglés
Publicado:	2002
Materias:	Ciencias Informáticas object-oriented design Design Patterns (e.g., client/server, pipeline, blackboard) SOFTWARE ENGINEERING
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/9445 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct02-7.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-9445
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 object-oriented design Design Patterns (e.g., client/server, pipeline, blackboard) SOFTWARE ENGINEERING
spellingShingle	Ciencias Informáticas object-oriented design Design Patterns (e.g., client/server, pipeline, blackboard) SOFTWARE ENGINEERING Reynoso, Luis A. Buccella, Agustina Flores, Andrés P. Aranda, Gabriela N. Component-based tool for verifying applications using object-oriented patterns
topic_facet	Ciencias Informáticas object-oriented design Design Patterns (e.g., client/server, pipeline, blackboard) SOFTWARE ENGINEERING
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 a metamodel where properties of patterns and object-oriented design can be rigorously described. In the present work, our formal basis is used to build a component-based tool for verifying proper applications of object-oriented patterns. The usage of this tool is also 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	Articulo Articulo
author	Reynoso, Luis A. Buccella, Agustina Flores, Andrés P. Aranda, Gabriela N.
author_facet	Reynoso, Luis A. Buccella, Agustina Flores, Andrés P. Aranda, Gabriela N.
author_sort	Reynoso, Luis A.
title	Component-based tool for verifying applications using object-oriented patterns
title_short	Component-based tool for verifying applications using object-oriented patterns
title_full	Component-based tool for verifying applications using object-oriented patterns
title_fullStr	Component-based tool for verifying applications using object-oriented patterns
title_full_unstemmed	Component-based tool for verifying applications using object-oriented patterns
title_sort	component-based tool for verifying applications using object-oriented patterns
publishDate	2002
url	http://sedici.unlp.edu.ar/handle/10915/9445 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct02-7.pdf
work_keys_str_mv	AT reynosoluisa componentbasedtoolforverifyingapplicationsusingobjectorientedpatterns AT buccellaagustina componentbasedtoolforverifyingapplicationsusingobjectorientedpatterns AT floresandresp componentbasedtoolforverifyingapplicationsusingobjectorientedpatterns AT arandagabrielan componentbasedtoolforverifyingapplicationsusingobjectorientedpatterns
bdutipo_str	Repositorios
_version_	1764820491350048769

Component-based tool for verifying applications using object-oriented patterns

Ejemplares similares