000 00909nam a2200253 a 4500
003 AR-LpUFIB
005 20250311170432.0
008 230201s2015 ag a rm 000 0 spa d
024 8 _aDIF-M7070
_b7255
_zDIF006451
040 _aAR-LpUFIB
_bspa
_cAR-LpUFIB
100 1 _aRosenfeld, Ilan
245 1 0 _aLenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
260 _c2015
300 _a105 p. :
_bil. col. +
_e1 CD-ROM, 1 DVD
502 _a Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2015.
650 4 _aDESARROLLO DE SOFTWARE DIRIGIDO POR MODELOS - MDD
650 4 _aJAVA
650 4 _aLENGUAJES FORMALES
650 4 _aOCL
650 4 _aUML
700 1 _aPons, Claudia Fabiana ,
_eDirector/a
700 1 _aPérez, Gabriela ,
_eAsesor/a profesional
942 _cTE
999 _c56230
_d56230