TY  - GEN
AU  - Pons,Claudia Fabiana
TI  - Heuristics on the definition of UML refinement patterns
T2  - ^p Datos electrónicos (1 archivo : 205 KB)
KW  - PROCESO DE DESARROLLO DE SOFTWARE
KW  - REFINAMIENTO DE PROGRAMAS
KW  - MÉTODOS FORMALES
KW  - UML
N1  - Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 09/03/2009); J. Wiedermann et al. (eds.): SOFSEM 2006, LNCS 3831, pp. 461 – 470, 2006
N2  - In this article we present a strategy to formalize frequently occurring forms of refinement that take place in UML model construction. Such strategy consists in recognizing a set of well founded refinement structures in a formal language which are then immersed into a UML-based development, giving origin to a set of UML refinement patterns. Apart from providing semi-formal evidence on the presence of refinement structures in object-oriented designs, this strategy made it possible to reveal hidden refinements and to discover weaknesses of the UML language that hinder the specification of refinement. An automatic tool is provided to support model refinement activities
UR  - www.lifia.info.unlp.edu.ar/papers/2006/Pons2006.pdf
ER  -