|
Identificação
|
Recursos Humanos
|
Linhas de Pesquisa
|
Indicadores do Grupo
|
| |
|
Identificação
|
|
Dados básicos
|
|
Nome do grupo: Software Reliability Group (SRG)
|
|
Status do grupo: certificado pela instituição
|
|
Ano de formação: 2007
|
|
Data da última atualização: 27/11/2012 16:33
|
|
Líder(es) do grupo:
|
Augusto Cezar Alves Sampaio -
|
|
|
Alexandre Cabral Mota -
|
|
|
Área predominante: Ciências Exatas e da Terra;
Ciência da Computação
|
|
Instituição: Universidade Federal de Pernambuco - UFPE
|
|
Órgão: Centro de Informática
|
Unidade:
|
|
Endereço
|
|
Logradouro: Av. Professor Luís Freire, s/n
|
|
Bairro: Cidade Universitária
|
CEP: 50670901
|
|
Cidade: Recife
|
UF: PE
|
|
Telefone: 21268430
|
Fax:
|
| |
Home page: http://portal.cin.ufpe.br/~srg
|
|
Repercussões dos trabalhos do grupo
|
|
O Software Reliability Group (SRG) tem como objetivo estabelecer bases para o aumento da qualidade dos processos de desenvolvimentos rigorosos de software através do uso de testes de software e métodos formais na sua análise, verificação e validação. Com esta finalidade, o SRG tem proposto processos de desenvolvimento de software sistemáticos, baseados em métodos e ferramentas precisas que sejam aplicados a sistemas complexos encontrados na indústria. Estes processos têm como maior objetivo a produção de sistemas corretos, robustos, extensíveis e com estimativas mais precisas sobre o seu custo real durante seu ciclo de vida (desenvolvimento e manutenção), através da redução de erros desde o início da produção do software.
|
