1. Inicio
  2. Atrás
Título: Tool support for verifying applications using object-oriented patterns
Autores: Aranda, Gabriela N.
Flores, Andrés P.
Buccella, Agustina
Reynoso, Luis A.
Fecha: 2012-10-02
2002-05
2002
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: Tool Support
Verifying Applications
Object-Oriented Patterns
SOFTWARE ENGINEERING
Ciencias Informáticas
base de datos
Descripción: 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.
Eje: Ingeniería de Software y Base de Datos
Idioma: Inglés