1.
|
Tool support for verifying applications using object-oriented patterns
Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.
Formato: |
Objeto de conferencia, Objeto de conferencia |
Enlaces: |
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…
|
Fecha: |
2012-10-02 |
Recurso: |
Unversidad Nacional de La Plata |
|