000			02128naa a2200301 a 4500
003			AR-LpUFIB
005			20240131183015.0
007			ta
008			230201s2004 xx do 000 0 eng d
024	8		_aDIF002613
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aPons, Claudia Fabiana _9251525
245	1	0	_aTraceability across refinement steps in UML modeling
260			_aref_localidad@37940 : _b, _c2004
490	0		_a^p Datos electrónicos (1 archivo : 231 KB)
500			_aEste documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Formato de archivo: PDF. -- Disponible también en línea (Cons. 3/04/2008)
520			_aDocumenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in different contexts, but there is still a lack of formal definitions of refinement in semi-formal languages, such as the UML. The contribution of this article is to clarify the abstraction/refinement relationship between UML models, providing basis for tools supporting the refinement driven modeling process. We formally describe a number of refinement patterns and present PAMPERO, a tool integrated in the Eclipse environment, based on the formal definition of model refinement.
534			_a3rd Workshop in Software Model Engineering WiSME at the 7th International Conference on the UML, October 2004.
650		4	_aPROCESO DE DESARROLLO DE SOFTWARE _9253608
650		4	_aMÉTODOS FORMALES _9247902
650		4	_aREFINAMIENTO DE PROGRAMAS _9253607
650		4	_aHERRAMIENTAS DE SOFTWARE _9252334
650		4	_aUML _9248706
700	1		_aKutsche, Ralf-Detlef _9253803
856	4	0	_uwww.lifia.info.unlp.edu.ar/papers/2004/Pons2004c.pdf
856	4	0	_u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=208
942			_cCP
999			_c844734 _d844734