Extensão de um modelo OO formal com aspectos temporais
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 conceitual orientado a objetos; - integrar os modelos formais com metodologias de a...
Main Author: | Zanatta, Melissa Marchiani Palone |
---|---|
Other Authors: | Heuser, Carlos Alberto |
Format: | Others |
Language: | Portuguese |
Published: |
2007
|
Subjects: | |
Online Access: | http://hdl.handle.net/10183/2432 |
Similar Items
E-dart : um ambiente de especificação e-lotos
by: Granville, Lisandro Zambenedetti
Published: (2010)
by: Granville, Lisandro Zambenedetti
Published: (2010)
E-dart : um ambiente de especificação e-lotos
by: Granville, Lisandro Zambenedetti
Published: (2010)
by: Granville, Lisandro Zambenedetti
Published: (2010)
Similar Items
-
Extensão de um modelo OO formal com aspectos temporais
by: Zanatta, Melissa Marchiani Palone
Published: (2007) -
Extensão de um modelo OO formal com aspectos temporais
by: Zanatta, Melissa Marchiani Palone
Published: (2007) -
OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
by: Azevedo, Edson Eustáchio Oliveira de
Published: (2007) -
OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
by: Azevedo, Edson Eustáchio Oliveira de
Published: (2007) -
OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
by: Azevedo, Edson Eustáchio Oliveira de
Published: (2007)