MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
02128naa a2200301 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
|---|
| campo de control |
AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20240131183015.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s2004 xx do 000 0 eng d |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
DIF002613 |
| 040 ## - FUENTE DE 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 |
Pons, Claudia Fabiana |
| 9 (RLIN) |
251525 |
| 245 10 - MENCIÓN DEL TÍTULO |
|---|
| Título |
Traceability across refinement steps in UML modeling |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
ref_localidad@37940 : |
| Nombre del editor, distribuidor, etc. |
, |
| Fecha de publicación, distribución, etc. |
2004 |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
^p Datos electrónicos (1 archivo : 231 KB) |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Formato de archivo: PDF. -- Disponible también en línea (Cons. 3/04/2008) |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in different contexts, but there is still a lack of formal definitions of refinement in semi-formal languages, such as the UML. The contribution of this article is to clarify the abstraction/refinement relationship between UML models, providing basis for tools supporting the refinement driven modeling process. We formally describe a number of refinement patterns and present PAMPERO, a tool integrated in the Eclipse environment, based on the formal definition of model refinement. |
| 534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL |
|---|
| Encabezamiento principal del original |
3rd Workshop in Software Model Engineering WiSME at the 7th International Conference on the UML, October 2004. |
| 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 |
| 9 (RLIN) |
253608 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
MÉTODOS FORMALES |
| 9 (RLIN) |
247902 |
| 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 |
| 9 (RLIN) |
253607 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
HERRAMIENTAS DE SOFTWARE |
| 9 (RLIN) |
252334 |
| 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 |
| 9 (RLIN) |
248706 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Kutsche, Ralf-Detlef |
| 9 (RLIN) |
253803 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recursos |
<a href="www.lifia.info.unlp.edu.ar/papers/2004/Pons2004c.pdf">www.lifia.info.unlp.edu.ar/papers/2004/Pons2004c.pdf</a> |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recursos |
<a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=208"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=208</a> |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Capítulo de libro |