Date: Friday (Sep 30, 2011)

 Time: 09:00 - 18:00

 [9:00 – 10:30] Technical Session 1: Métodos Formais e Modelos

"Uma ferramenta para verificação de consistência e integridade do modelo de características de linhas de produtos de software sensíveis ao contexto baseado em perfis da UML"
Paulo Alexandre Costa, Rossana Andrade (UFC)

"Um Arcabouço para Verificação Automática de Modelos UML"
Flávio Fernandes, Mark Song (PUC Minas)

"KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B"
Simone de Oliveira Santos, Anamaria Martins Moreira (UFRN)

 [10:30 – 11:00] Coffee-Break

 [11:00 – 12:00] Technical Session 2: Reuso de Software

"Linha de Produtos para Visualização: Uma Abordagem Dirigida por Modelos"
Marlon Silva, Claudia Werner (COPPE/UFRJ)

"Reuso de Frameworks Transversais com Apoio de Modelos"
Thiago Gottardi, Valter Camargo (UFSCar)

 [12:00 – 13:00] Technical Session 3: Teste de Software I

"Instrumentação eficiente de programas em sistemas embarcados críticos"
Harry Costa, Márcio Delamaro, Marcos Chaim (USP)

"Subsídios para a Aplicação de Métodos de Geração de Casos de Teste Baseados em Máquinas de Estados no Contexto de Sistemas Embarcados"
Arineiza Pinheiro, Adenilso Simao (ICMC-USP)

 [13:00 – 14:30] Lunch time

 [14:30 – 16:00] Technical Session 4: Teste de Software II

"Avaliação do Custo e Efetividade do Teste Estrutural para Programas Concorrentes com Memória Compartilhada
Silvana Melo, Simone Souza, Paulo Lopes de Souza (ICMC-USP)

"Teste de Mutação aplicado a Programas Concorrentes em MPI
Rodolfo Silva, Simone Souza (ICMC-USP)

"Uma Abordagem para Integração e Teste de Módulos Baseada em Agrupamento e Algoritmos de Otimização Multiobjetivos
Wesley Klewerton Guez Assunção, Silvia Vergilio (UFPR)

 [16:00 – 16:30] Coffee-Break

 [16:30 – 18:00] Technical Session 5: Requisitos, Desenvolvimento Distribuído e Ágil de Software

"Uma Abordagem de Elicitação de Requisitos para Sistemas Adaptativos Baseada na Lógica Fuzzy e NFR-Framework"
João Paraiba(Unimep);Luiz Eduardo Martins (Unifesp)

"A Utilização de Ontologias no Apoio ao Desenvolvimento Distribuído de Software"
Alex Borges Junior, Rodrigo Rocha, Silvio Meira (UFPE)

"Uma Abordagem de Aprendizagem Organizacional no Desenvolvimento Ágil de Software"
Viviane Santos, Alfredo Goldman (IME-USP)