Listar Computación por autor "Zanatta, Melissa Marchiani Palone"
Mostrando ítems 1-1 de 1
-
Extensão de um modelo OO formal com aspectos temporais
Zanatta, Melissa Marchiani Palone (2000) [Tesis de maestría]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 ...