|
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 |
|
