MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01777naa 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 |
20250311170246.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-M2621 |
| -- |
2714 |
| -- |
DIF002525 |
| 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 |
Pons, Claudia Fabiana |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Practical verification strategy for refinement conditions in UML models |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
^p Datos electrónicos (1 archivo : 100 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. 09/03/2009) |
| 520 ## - SUMARIO, ETC. |
|---|
| Sumario, etc. |
This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state space where OCL conditions are evaluated might be too large (or even infinite), the strategy of micromodels is applied in order to reduce the search space. The overall contribution is to propitiate the performing of verification activities during the model-driven development process. |
| 534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL |
|---|
| Encabezamiento principal del original |
Ochoa, Sergio F.; Roman, Gruia-Catalin. Advanced Software Engineering: Expanding the Frontiers of Software Technology, Springer, 2006, pp. 47--61. Proceedings from the 19th IFIP World Computer Congress in Santiago, Chile. |
| 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 |
LENGUAJE DE ESPECIFICACIÓN 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 |
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 |
INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
García, Carlos Diego |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme del Recurso |
<a href="www.lifia.info.unlp.edu.ar/papers/2006/Pons2006a.pdf">www.lifia.info.unlp.edu.ar/papers/2006/Pons2006a.pdf</a> |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Capítulo de libro |