MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
02352naa 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 |
20240131183012.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 |
230201s2006 xx do 000 0 eng d |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
DIF002515 |
| 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 |
An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE |
| 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. |
2006 |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
^p Datos electrónicos (1 archivo : 270 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. 11/03/2009) |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
Despite the fact that the refinement technique is one of the cornerstones of a formal approach to software engineering, the concept of refinement in model driven engineering is loosely defined and open to misinterpretations. In this article we present a rigorous technique for specifying and verifying frequently occurring forms of refinement that take place in software modeling. Such strategy uses the formal language Object-Z as a background foundation, whereas designers only have to deal with the broadly accepted UML and OCL languages, thus propitiating the inclusion of verification in ordinary software engineering activities, increasing in this way the level of confidence on the correctness of the final product. Finally, an automatic tool is provided to support such model refinement activities; this tool adopts the micromodels strategy to reduce the search scope, making the verification process feasible. |
| 534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL |
|---|
| Encabezamiento principal del original |
David Harel, Gianna Reggio, Oscar Nierstrasz, Jon Whittle. Proceedings MoDELS/UML 2006 Model Driven Engineering Languages and Systems, 9th International Conference, 2006, Lecture Notes in Computer Science. |
| 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 |
TÉCNICAS DE ESPECIFICACIÓN |
| 9 (RLIN) |
253609 |
| 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 |
| 9 (RLIN) |
253315 |
| 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 |
| 9 (RLIN) |
253784 |
| 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 |
García, Carlos Diego |
| 9 (RLIN) |
253665 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recursos |
<a href="www.springerlink.com/content/xn321w51752rm272/fulltext.pdf">www.springerlink.com/content/xn321w51752rm272/fulltext.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=128"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=128</a> |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Capítulo de libro |