Trabalho do grupo: As repercussões do grupo são na criação e melhoramentos nas ferramentas de verificação automática, que têm como objetivo gerar aplicações computacionais mais confiáveis e eficientes. Desta forma os impactos esperados pelo grupo são na melhoria das técnicas de desenvolvimento de sistemas computacionais em geral.
Equipe:
Profs. Sérgio Vale Aguiar Campos - Líder (scampos@dcc.ufmg.br)
Claudionor José Nunes Coelho Júnior (coelho@dcc.ufmg.br)
Newton José Vieira (nvieira@dcc.ufmg.br)
Linhas de pesquisa:
Modelagem e Verificação de Sistemas de Comércio Eletrônico
Novas técnicas de verificação
URL: http://www2.dcc.ufmg.br/~scampos
Mais detalhes pesquise no http://dgp.cnpq.br/buscaoperacional/ pelo nome do grupo ou dos integrantes da equipe |
