Herramientas CASE para la validación de modelos UML a través de invariantes OCL (Record no. 55922)

MARC details
000 -CABECERA
campo de control de longitud fija 02208naa a2200253 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 20250311170423.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2004 xx o 000 0 spa d
024 8# - Otro identificador estandar
Número estándar o código DIF-M6731
-- 6868
-- DIF006140
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 Pesce, Pablo
245 10 - MENCIÓN DE TÍTULO
Título Herramientas CASE para la validación de modelos UML a través de invariantes OCL
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 archivo (382,3 KB)
500 ## - NOTA GENERAL
Nota general Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
520 ## - SUMARIO, ETC.
Sumario, etc. A partir de la estandarizaci ́n del lenguaje UML, han surgido en el mercado numerosas herramientas o de modelado. Entre todas ellas es posible identificar funcionalidades que se repiten, mas agregados que las distinguen. En general, estas herramientas están construidas de manera monolítica, haciendo impracticable la combinación de funcionalidades o el desarrollo de una herramienta que provea una capacidad adicional o y que pueda ser usada en el contexto de cualquiera de ellas. Con el advenimiento de los ambientes de desarrollo integrados (IDE) como eclipse, el concepto de herramienta CASE ha dado un cambio significativo. La posibilidad de generar plug-in's que enriquezcan el ambiente con una funcionalidad adicional hace posible la combinación por parte del usuario de distintos plugins que le permitan formar el ambiente de desarrollo o que mejor se ajuste a los requerimientos de cada proyecto en particular. Se describe aquí la arquitectura de la herramienta PLATERO, construida en base a este enfoque y en particular se detalla uno de los plug-in's que fueron desarrollados en el contexto de este proyecto, y que provee la funcionalidad necesaria para extender la plataforma eclipse con la capacidad de asociar modelos de distintos metamodelos sobre los proyectos de la misma.
534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL
Encabezamiento principal del original Congreso Argentino de Ciencias de la Computación (10mo : 2004 oct. 4-8 : San Justo, La Matanza)
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
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada OCL
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada PROCESO DE DESARROLLO DE SOFTWARE
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada LENGUAJES DE MODELADO
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Pons, Claudia Fabiana
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href="http://goo.gl/VcJO0c">http://goo.gl/VcJO0c</a>
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Capítulo de libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Colección Biblioteca permanente Biblioteca actual Fecha de adquisición Total de préstamos Signatura topográfica completa Fecha visto por última vez Identificador Uniforme del Recurso Precio válido a partir de Tipo de ítem Koha
      No corresponde Biblioteca digital Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025   A0475 11/03/2025 http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=760 11/03/2025 Capítulo de libro