Tema: OBJECT-Z Se han encontrado 2 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Artículo |
Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z : | Becker, Valeria |
(2003) |
---------- | |
Tesis |
Herramienta para automatizar la transformación UML/OCL a Object-Z: | Becker, Valeria |
(2006) |
Sala
|
---------- |