Browsing Computation by Author "Zanatta, Melissa Marchiani Palone"
Now showing items 1-1 of 1
-
Extensão de um modelo OO formal com aspectos temporais
Zanatta, Melissa Marchiani Palone (2000) [Dissertation]Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo ...