Pons, Claudia Fabiana <br/><br/>
Heuristics on the definition of UML refinement patterns 

 - ^p Datos electrónicos (1 archivo : 205 KB) .
<br/><br/> 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) 
<br/><br/> 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. 
<br/><br/>
<br/><br/><label>Standard No.: </label>DIF-M2617 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROCESO DE DESARROLLO DE SOFTWARE<br/>REFINAMIENTO DE PROGRAMAS<br/>MÉTODOS FORMALES<br/>UML