Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML (Record no. 55335)

MARC details
000 -CABECERA
campo de control de longitud fija 01282nam a2200421 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170405.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2011 ag rm 000 0 spa d
024 8# - Otro identificador estandar
Número estándar o código DIF-M5996
-- 6105
-- DIF005547
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Dias Molina, María José
245 10 - MENCIÓN DE TÍTULO
Título Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Fecha de publicación, distribución, etc. 2011
300 ## - DESCRIPCIÓN FÍSICA
Extensión x, 153p. ;
Dimensiones 30 cm. +
Material acompañante/anejo 1 CD-ROM
502 ## - NOTA DE TESIS
Nota de tesis Tesina (Licenciatura en Sistemas, Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada UML
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado OCL
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado JML
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Comparación OCL Y JML
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado OCLE
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Desarrollo dirigido por modelos (MDD)
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Verificación de programas
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado ESC/Java2
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Sireum/Kiassan
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado JML4c
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado OpenJML
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Eclipse
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Traducción OCL a JML
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Colecciones OCL
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Jack
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Loop
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Key
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado MOFScript
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado Metamodelos
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Dodero Mena, Diego Matías
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1840"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1840</a>
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Tesis de posgrado
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha Colección Identificador Uniforme del Recurso
      Consulta en Sala Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-04010   TES 11/28 DIF-04010 11/03/2025 11/03/2025 Tesis de posgrado    
      Recurso en Línea Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025         11/03/2025 11/03/2025 Tesis de posgrado Biblioteca digital http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1840