| 000 | 01637naa a2200241 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170246.0 | ||
| 008 | 230201s2006 xx o 000 0 eng d | ||
| 024 | 8 |
_aDIF-M2617 _b2710 _zDIF002521 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aPons, Claudia Fabiana | |
| 245 | 1 | 0 | _aHeuristics on the definition of UML refinement patterns |
| 490 | 0 | _a^p Datos electrónicos (1 archivo : 205 KB) | |
| 500 | _aFormato 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) | ||
| 520 | _aIn 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. | ||
| 534 | _aJ. Wiedermann et al. (eds.): SOFSEM 2006, LNCS 3831, pp. 461 – 470, 2006. | ||
| 650 | 4 | _aPROCESO DE DESARROLLO DE SOFTWARE | |
| 650 | 4 | _aREFINAMIENTO DE PROGRAMAS | |
| 650 | 4 | _aMÉTODOS FORMALES | |
| 650 | 4 | _aUML | |
| 856 | 4 | 0 | _uwww.lifia.info.unlp.edu.ar/papers/2006/Pons2006.pdf |
| 942 | _cCP | ||
| 999 |
_c52400 _d52400 |
||