UFMG
Somos UFMG
Última atualização do sistema: 28.10.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Métodos formais
utilizada 22 vezes por 3 professores
Utilizada por 3 professores
Por ordem de relevância (total: 3)
Adriano Cesar Machado Pereira
Mário Sérgio Ferreira Alvim Júnior
Sidelmo Magalhães Silva
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Métodos formais"
Aplicações Web
Comércio Eletrônico
Design Patterns
Engenharia de software
Métodos Quantitativos
Métodos formais
Segurança e Privacidade
UML
Verificação de Modelos
e-commerce
CTIT UFMG