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...
Guardado en:
| Autores principales: | Aranda, Gabriela N., Flores, Andrés P., Buccella, Agustina, Reynoso, Luis A. |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2002
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21887 |
| Aporte de: |
Ejemplares similares
-
Component-based tool for verifying applications using object-oriented patterns
por: Reynoso, Luis A., et al.
Publicado: (2002) -
Patterns for resource management
por: Kirchner, Michael
Publicado: (2004) -
An object-oriented framework for predictive models in intensive care units
por: Moyano, Marcelo, et al.
Publicado: (2001) -
Developing GIS Applications with Objects : A Design Patterns Approach
por: Gordillo, Silvia Ethel, et al.
Publicado: (1999) -
Implementations of the decorator pattern conceived for alternative presentations of the object-oriented programming paradigm
por: Passerini, Nicolás, et al.
Publicado: (2012)