Defessa de Dissertação 30/11, 8:00

postado em 21 de nov de 2011 05:20 por Nazareno Ferreira de Andrade   [ 21 de nov de 2011 05:22 atualizado‎(s)‎ ]
Aluno: Sebastião E. P. Rabelo Júnior. 
Título: Verificação de conformidade entre Diagramas de Sequência UML e Código Java. 
Local: Auditório do CEEI. 
Banca Examinadora: Prof. Franklin Ramalho (Orientador), UFCG, Prof. Dalton Serey (Orientaor), UFCG, Prof. Leandro Balby, UFCG, e Prof. Ayla Dantas Rebouças, UFPB.

Data: 30/11/2011.
Hora: 08:00.

Resumo: Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os diagramas usados para descrever aspectos comportamentais de um software. Por outro lado, temos Java como a linguagem orientada a objetos mais usada no mundo. Entretanto não existe ainda um meio sistêmico para a verificação automática de conformidade entre modelos comportamentais e o código desenvolvido para atender esse modelo. Nesta dissertação, nós desenvolvemos uma abordagem capaz de verificar esse tipo de conformidade. O uso dessa abordagem permitirá ajudar desenvolvedores, analistas, e gerentes de projeto a manter a documentação do software atualizada, além de possibilitar a existência de um novo ponto de vista a respeito de defeitos na implementação de um sistema. Para dar suporte a essa verificação de conformidade nós desenvolvemos uma ferramenta baseada em Model Driven Architecture (MDA) capaz de gerar os testes de conformidade. Além disso, esta dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os principais resultados obtidos.
Agradecemos a sua presença.
Comments