UFMG
Somos UFMG
Última atualização do sistema: 12.08.2025
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 César 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
Design Patterns
Engenharia de software
Métodos formais
Métodos quantitativos
Segurança e Privacidade
UML
Verificação de Modelos
comércio eletrônico
e-commerce
CTIT UFMG