000			02352naa a2200301 a 4500
003			AR-LpUFIB
005			20240131183012.0
007			ta
008			230201s2006 xx do 000 0 eng d
024	8		_aDIF002515
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aPons, Claudia Fabiana _9251525
245	1	0	_aAn OCL-based technique for specifying and verifying refinement-oriented transformations in MDE
260			_aref_localidad@37940 : _b, _c2006
490	0		_a^p Datos electrónicos (1 archivo : 270 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. 11/03/2009)
520			_aDespite the fact that the refinement technique is one of the cornerstones of a formal approach to software engineering, the concept of refinement in model driven engineering is loosely defined and open to misinterpretations. In this article we present a rigorous technique for specifying and verifying frequently occurring forms of refinement that take place in software modeling. Such strategy uses the formal language Object-Z as a background foundation, whereas designers only have to deal with the broadly accepted UML and OCL languages, thus propitiating the inclusion of verification in ordinary software engineering activities, increasing in this way the level of confidence on the correctness of the final product. Finally, an automatic tool is provided to support such model refinement activities; this tool adopts the micromodels strategy to reduce the search scope, making the verification process feasible.
534			_aDavid Harel, Gianna Reggio, Oscar Nierstrasz, Jon Whittle. Proceedings MoDELS/UML 2006 Model Driven Engineering Languages and Systems, 9th International Conference, 2006, Lecture Notes in Computer Science.
650		4	_aREFINAMIENTO DE PROGRAMAS _9253607
650		4	_aTÉCNICAS DE ESPECIFICACIÓN _9253609
650		4	_aINGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE _9253315
650		4	_aLENGUAJE DE ESPECIFICACIÓN OCL _9253784
650		4	_aUML _9248706
700	1		_aGarcía, Carlos Diego _9253665
856	4	0	_uwww.springerlink.com/content/xn321w51752rm272/fulltext.pdf
856	4	0	_u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=128
942			_cCP
999			_c844638 _d844638