A UML extension to specify model refinements (Record no. 52294)

MARC details
000 -CABECERA
campo de control de longitud fija 01851naa a2200265 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 20250311170243.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2006 xx o 000 0 eng d
024 8# - Otro identificador estandar
Número estándar o código DIF-M2502
-- 2591
-- DIF002403
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 Correa, Natalia
245 10 - MENCIÓN DE TÍTULO
Título A UML extension to specify model refinements
490 0# - MENCIÓN DE SERIE
Mención de serie ^p Datos electrónicos (1 archivo : 294 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.) -- Disponible también en línea (Cons. 7 nov. 2008)
520 ## - SUMARIO, ETC.
Sumario, etc. The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relationship makes it possible to trace the requirements through the refinement steps. Unfortunately, the standard modeling language UML suffers from a lack of notation to specify refinements in a precise way; in particular, compound refinements can be only partially specified, weakening the traceability potential. In this article , we present an extension of UML to express complex model refinements by means of a well defined composition of elementary refinements. Such extension includes an optional notation to specify complex refinements in an accurate and complete way, thus improving the traceability process. Keywords: Software Engineering, Modelling Languages, Model Refinements, UML Extension.
534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL
Encabezamiento principal del original CLEI 2006.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada MODELADO 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 REFINAMIENTO DE PROGRAMAS
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 TÉCNICAS DE ESPECIFICACIÓN
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
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Giandini, Roxana Silvia
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href="www.lifia.info.unlp.edu.ar/papers/2006/Correa2006.pdf">www.lifia.info.unlp.edu.ar/papers/2006/Correa2006.pdf</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   A0064 11/03/2025 http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=67 11/03/2025 Capítulo de libro