Search among more than 25000 resources available in the repository
Upload your works to SEDICI, increase its visibility and improve its impact
Sumario: 1- Introducción 2- Sintaxis de un subconjunto de expresiones OCL 3- Traducción de modelo UML con expresiones OCL a Object-Z 4- Implementación 5- Conclusiones y trabajos futuros.
There are no files associated with this item.