V Workshop de Teses e Dissertações do CBSoft
Contexto e Objetivo
O V Workshop de Teses e Dissertações do CBSoft (WTDSoft 2015) é um evento permanente associado ao Congresso Brasileiro de Software: Teoria e Prática (CBSoft), dedicado à apresentação e à discussão de trabalhos de mestrado e doutorado em andamento nas áreas de Engenharia de Software, Linguagens de Programação e Métodos Formais. O CBSoft 2015 será realizado em Belo Horizonte, de 21 a 25 de setembro de 2015.
Histórico
O CBSoft foi criado em 2010, com o objetivo de integrar importantes eventos científicos brasileiros, a saber: Simpósio Brasileiro de Engenharia de Software (SBES), Simpósio Brasileiro de Linguagens de Programação (SBLP), Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS) e Simpósio Brasileiro de Métodos Formais (SBMF). O WTDSoft tem sua origem no Workshop de Teses e Dissertações em Engenharia de Software (WTES), evento integrante do SBES de 1996 a 2010. Assim como o CBSoft, o WTDSoft busca promover a integração das comunidades do SBES, SBLP, SBCARS e SBMF, de modo a propiciar um ambiente construtivo para discussões entre estudantes com trabalhos em andamento e pesquisadores nas áreas de Engenharia de Software, Linguagens de Programação e Métodos Formais.
Elegibilidade e Avaliação
São elegíveis para submissão trabalhos de mestrado ou doutorado, preferencialmente:
- Trabalhos de doutorado com proposta definida (não necessariamente aprovada)
- Trabalhos de mestrado com proposta aprovada (desejável, mas não obrigatório) e prazo previsto de conclusão posterior a dezembro de 2015
- Trabalhos que não tenham sido aceitos ou apresentados em outros workshops de teses e dissertações.
Os trabalhos serão avaliados e selecionados pelo comitê de programa do evento. Cada trabalho receberá um parecer do comitê com questionamentos e sugestões sobre o seu conteúdo. Esses comentários deverão ser utilizados pelo autor na preparação da versão final do artigo. Os trabalhos selecionados serão apresentados e discutidos durante o WTDSoft, com membros do comitê de programa e pesquisadores convidados. A aceitação do trabalho implica a inscrição do autor no WTDSoft (para se inscrever no WTDSoft, é necessária e suficiente inscrição no CBSoft) e a sua presença para a apresentação do trabalho. A apresentação poderá ser feita em português ou em inglês. Entende-se que o autor é o aluno de pós-graduação responsável pelo desenvolvimento da tese ou dissertação de mestrado.
Instruções para Submissão
O formato do artigo deverá seguir o modelo da Sociedade Brasileira de Computação (SBC), em tamanho A4, contendo folha de rosto e até 05 páginas de conteúdo para trabalhos de mestrado e 07 páginas de conteúdo para trabalhos de doutorado (totalizando, respectivamente, 6 e 8 páginas). Descrições Word e Latex deste modelo podem ser obtidas no portal da SBC, seguindo a referência para Eventos e Modelo para publicação de artigos (http://www.sbc.org.br/index.php?language=1&subject=60). Todos os artigos devem ser escritos em português ou inglês e submetidos em formato PDF no endereço https://easychair.org/conferences/?conf=wtdsoft2015. Após o aluno submeter a versão final do artigo aceito no Easychair, deve ser enviado um e-mail do orientador do aluno dando ciência e concordância com a submissão para o coordenador do WTDSoft 2015 (vide contato abaixo). O assunto do e-mail deve ser "WTDSoft 2015-ciência de orientador".
Os trabalhos devem conter uma folha de rosto em que constam exclusivamente:
- Título do trabalho
- Nome do aluno
- Nome do(s) orientador(es)
- Nível (mestrado ou doutorado)
- Programa de pós-graduação
- Email de contato do aluno
- Email de contato do(s) orientador(es)
- Ano de ingresso no programa
- Época prevista de conclusão
- Data da aprovação da proposta de tese/dissertação (qualificação)
- Resumo em português ou em inglês
- Palavras-chave
- Sigla(s) do(s) evento(s) do CBSoft relacionado(s)(SBES, SBCARS, SBLP, SBMF).
O conteúdo do trabalho deve iniciar na segunda página e deve ser descrito de forma clara e objetiva, incluindo:
- Caracterização do Problema
- Fundamentação Teórica
- Contribuições
- Estado Atual do Trabalho
- Descrição e Avaliação dos Resultados
- Comparação com Trabalhos Relacionados
Datas Importantes
Submissão de Artigos: 01/06/2015 08/06/2015 (firme) até as 23h59min (horário de Brasília)
Notificação de Aceitação: 14/07/2015 21/07/2015
Envio de Versão Final: 30/07/2015 02/08/2015 (firme) até as 23h59min (horário de Brasília)
WTDSoft 2015 em Belo Horizonte: 21/09/2015 e 22/09/2015
Programação WTDSoft 2015
Dia |
Horário |
Título do Trabalho |
Autores |
Segunda-feira 21/09/2015 |
11:00-12:30 |
Um Estudo Empírico sobre Máquinas de Tradução em Tempo Real para Equipes Distribuídas de Desenvolvimento de Software |
João Henrique Pinto, Rafael Prikladnicki. |
Contratos REST robustos e leves: uma abordagem em Design-by-Contract com NeoIDL |
Lucas Lima, Rodrigo Bonifácio, Edna Canedo |
||
Uma Extensão de Elementos BPMN para Modelagem de Características Autonômicas em Processos de Negócio |
Bruno Figueiredo, Jaelson Castro, Karolyne Oliveira |
||
14:30 - 16:30 |
Descoberta de Conhecimento durante a Execução de Projetos de Desenvolvimento de Software para Apoiar o Alinhamento de Processos |
Renata da Silva Santos, Toacy Oliveira |
|
ARES: Uma Modelagem de Ameaças Baseada em Papéis Específica para o Ecossistema Web |
Carlo Silva, Vinicius Garcia |
||
Detection and Description of Variability Smells |
Gustavo Vale, Eduardo Figueiredo |
||
Terça-feira 22/09/2015 |
11:00-12:30 |
Mineração de informações no Ecossistema Github para apoiar à Elicitação de Requisitos |
Roxana Portugal, Julio Leite |
Avaliação Experimental de Abordagens para a Geração Automática de Dados de Teste para Programas Concorrentes |
Ricardo Vilela, Simone Souza. |
||
Avaliação da qualidade de oráculos de teste utilizando mutação |
Ana Claudia Maciel Márcio Delamaro |
||
14:30 - 16:30 |
Estudo e Definição de uma Estratégia Sistemática de Teste para Aplicações na Nuvem |
Victor H. S. C. Pinto, Simone Souza, Paulo Souza. |
|
Um Método para Geração Otimizada de Testes a partir de Requisitos para Linhas de Produto de Software Dinâmicas. |
Ismayle de Sousa Santos, Rossana Andrade, Pedro Santos Neto |
||
An Approach to the Design of Adaptive and Normative Software Agents
|
Marx L. Viana, Carlos J.P. Lucena |
COORDENADOR
Vander Alves, Universidade de Brasília,
COMITÊ DE PROGRAMA
Adenilso Simao (ICMC/USP)
Alexandre Mota (UFPE)
Augusto Sampaio (UFPE)
Auri Vincenzi (UFG)
Cecilia Rubira (UNICAMP)
Claudio Sant'Anna (UFBA)
Dalton Dario Serey Guerrero (UFCG)
David Deharbe (UFRN)
Edward Hermann Haeusler (PUC-Rio)
Elisa Nakagawa (ICMC/USP)
Fernando Pereira (UFMG)
Fernando Castor (UFPE)
Flavia Delicato (UFRJ)
Francisco Carvalho-Junior (UFC)
Franklin Ramalho (UFCG)
Genaina Rodrigues (UnB)
Gledson Elias (UFPB)
Leila Silva (UFS)
Marcelo Fantinato (USP)
Marcelo d'Amorim (UFPE)
Marcelo Maia (UFU)
Marco Tulio Valente (UFMG)
Martin Musicante (UFRN)
Nabor Mendonça (UNIFOR)
Rafael Prikladnicki (PUCRS)
Raul Wazlawick (UFSC)
Rodrigo Bonifacio (UnB)
Rohit Gheyi (UFCG)
Rosângela Penteado (UFSCar)
Tiago Massoni (UFCG)
Toacy Oliveira (COPPE/UFRJ)
Uirá Kulesza (UFRN)
Vander Alves (UnB) - Chair