1.
|
A combinação da técnica de orientação a objetos ooa com a linguagem formal de especificação sdl para o desenvolvimento de um sistema de banco de dados Nassif, Nadia Adel - Borelli, Walter da Cunha
|
2.
|
Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z Becker, Valeria - Pons, Claudia
|