|
|
|
|
| LEADER |
00000naa a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250423182953.0 |
| 008 |
230201s2003 ag o 000 0 spa d |
| 024 |
8 |
|
|a DIF-M2382
|b 2469
|z DIF002284
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Becker, Valeria
|9 45799
|
| 245 |
1 |
0 |
|a Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z
|
| 490 |
0 |
|
|a ^p Datos electrónicos (1 archivo : 269 KB)
|
| 500 |
|
|
|a 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. 12-03-2008)
|
| 520 |
|
|
|a En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z. Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba de teoremas sobre los modelos. Esta traducción está siendo implementada como parte de una herramienta CASE que permite editar y gestionar modelos. Esperamos que pueda servir como un medio que ayude promover el uso industrial de UML y OCL. Keywords: OCL, UML, Object-Z, lenguajes formales, semántica.
|
| 534 |
|
|
|a Proceedings of IX Congreso Argentino de Ciencias de la Computación CACIC, October 2003.
|
| 650 |
|
4 |
|a HERRAMIENTAS DE SOFTWARE
|9 45448
|
| 650 |
|
4 |
|a MODELADO DE SOFTWARE
|9 42690
|
| 650 |
|
4 |
|a UML
|9 43454
|
| 650 |
|
4 |
|a OCL
|9 45801
|
| 650 |
|
4 |
|a OBJECT-Z
|9 45800
|
| 700 |
1 |
|
|a Pons, Claudia Fabiana
|9 44762
|
| 856 |
4 |
0 |
|u www.lifia.info.unlp.edu.ar/papers/2003/Becker2003.pdf
|
| 942 |
|
|
|c CP
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A0049
|7 3
|8 BD
|9 76497
|a DIF
|b DIF
|d 2025-03-11
|l 0
|o A0049
|r 2025-03-11 17:02:38
|u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=51
|w 2025-03-11
|y CP
|
| 999 |
|
|
|c 52180
|d 52180
|
