31
Roteiro Membros Objetivos Laborat´ orio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos Grupo de Engenharia de Software XII Simp´ osio de Teses e Disserta¸ oes Programa de P´ os-gradua¸c˜ ao em Ciˆ encias de Computa¸c˜ ao e Matem´ atica Computacional Instituto de Ciˆ encias Matem´ aticas e de Computa¸c˜ ao USP S˜ ao Carlos Novembro de 2009 XIISimp´osiodeTeseseDisserta¸c˜oes Engenharia de Software

Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Embed Size (px)

Citation preview

Page 1: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Grupo de Engenharia de SoftwareXII Simposio de Teses e Dissertacoes

Programa de Pos-graduacao em Ciencias de Computacaoe Matematica Computacional

Instituto de Ciencias Matematicas e de ComputacaoUSP Sao Carlos

Novembro de 2009

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 2: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Roteiro

1 MembrosPesquisadores e alunos

2 Objetivos

3 Laboratorio

4 Parceiros

5 Linhas de Pesquisa

6 Trabalhos DefendidosTeste de SoftwareEngenharia de Software ExperimentalAbordagens Avancadas de Desenvolvimento de SoftwareQualidade de Software

7 Fotos

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 3: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Pesquisadores e alunos

Membros

Orientadores:

Adenilso S. SimaoEllen F. BarbosaElisa Y. NakagawaJose C. MaldonadoMarcio E. DelamaroPaulo C. MasieroRenata P. M. FortesRosana T. V. BragaSimone R. S. Souza

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 4: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Pesquisadores e alunos

Membros

Alunos:

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 5: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Objetivos

Estabelecimento de processos, metodologias e ferramentaspara melhorar o desenvolvimento de software.

Atividades de VV&T, reutilizacao de software, arquiteturas desoftware, sistemas educacionais e treinamento.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 6: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Laboratorio

LabES — Laboratorio de Engenharia de Softwarehttp://www.labes.icmc.usp.br/Sala: 6.208 - predio do CISC

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 7: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Parceiros

Membros do grupo integram projetos envolvendo parceirosinternacionais da academia e da industria:

Victor Basili (Fraunhofer Center for Experimental SoftwareEngineering - University of Maryland/USA )Aditya Mathur (Purdue University/USA)Alexander Petrenko (Computer Research Institute ofMontreal/Canada)Eric Wong (University of Texas at Dallas/USA)Stefano De Panfilis (Ingegneria Informatica/Italy)Carlos Jose Lucena e Alessandro Garcia (PUC-Rio)Paulo Monteiro Borba (UFPE)Sandra Fabbri e Rosangela Penteado (UFSCar)dentre outros...

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 8: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Transferencia Tecnologica

As ferramentas de teste de software desenvolvidas estao emuso em universidades e na industria.

Proteum e PokeTool: CPqD, EmbrapaProteum: mais de 20 universidades em todo o mundoJaBUTi: projeto QualiPSoPlavis/FSM: INPE e projeto QualiPSoColabSPI: Serpro e projeto QualiPSo

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 9: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Estagios no Exterior

Estagios de doutorado no exterior nos ultimos 2 anos:

University of California at Irvine – USALancaster University – UKUniversity of Maryland, Baltimore County – USAUniversity of Waterloo – Canada

Pedidos em avaliacao:

Research Centre INRIA at Paris-Rocquencourt – FranceThe University of Auckland – New Zealand

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 10: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Projetos de Pesquisa Financiados

INCT-SEC – CNPq

QualiPSo – Quality Platform for Open Source Software – EU

Subsıdios para atividades de VV&T em desenvolvimento desoftware – CNPq/FAPESP

Environment for Hardware/Software Co-design in FPGAsPlatforms applied to Mobile Robotics – CNPq

Latin-AOSD – Latin-America Network for Aspect OrientedSoftware Development – CNPq

Procad – Integrando e aprimorando pesquisa, ensino/treinamento e transferencia tecnologica em VV&T – CAPES

Procad – Desenvolvimento de SPLs usando tecnicasorientadas a aspectos – CAPES

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 11: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Linhas de Pesquisa

Abordagens avancadas de desenvolvimento de software

Aplicacoes orientadas a servico

Arquiteturas e ambientes de engenharia de software

Desenvolvimento de modulos educacionais

Engenharia de software experimental

Ontologias de engenharia de software

Programacao orientada a aspectos e objetos

Qualidade de software

Software educacional e de treinamento, objetos deaprendizagem e educacao a distancia

Software livre e aplicacoes Web

Teste de software

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 12: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Linhas de Pesquisa e Desafios da Computacao (1/2)

I Desafio: Gestao da informacao em grandes volumes dedados multimıdia distribuıdos.

Criacao de conteudo para atividades educacionais (e-learning);Geracao de conteudo para TV digital interativa; eEstudo de infra-estruturas adaptaveis e inteligentes para oprocessamento distribuıdo de informacoes.

II Desafio: Modelagem computacional de sistemas complexosartificiais, naturais e socioculturais e da interacaohomem-natureza.

Criacao de algoritmos e tecnicas de visualizacao cientıfica parapermitir a captura visual da complexidade dos objetosmodelados e de suas interacoes; e

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 13: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Linhas de Pesquisa e Desafios da Computacao (2/2)

III Desafio: Impactos para a area da computacao da transicaodo silıcio para novas tecnologias.

Desenvolvimento de novas tecnicas de teste e verificacao desoftware na presenca de falhas.

IV Desafio: Acesso participativo e universal do cidadaobrasileiro ao conhecimento.

Criacao de infra-estrutura de e-learning que permita aintegracao eficiente de ferramentas de comunicacao quepossam ser utilizadas no aprendizado eletronico.

V Desafio: Desenvolvimento Tecnologico de Qualidade:sistemas disponıveis, corretos, seguros, escalaveis, persistentese ubıquos.

Desenvolvimento e avaliacao de modelos e ferramentas decriacao software com base teorica solida.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 14: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Teste de Software

Teste de Software

Estudos indicam que 50% (ou mais) do custo dedesenvolvimento destina-se ao teste do software.

Um dos principais problemas: muitas entradas para seremtestadas (p.ex. imagine um compilador C++).

Alguns nichos: teste de integracao, teste aplicado a novasabordagens de desenvolvimento, teste aplicado a modelosformais.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 15: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Teste de Software

Trabalhos Defendidos

2 teses:

Reginaldo ReOtavio LemosOrientador: Paulo C. MasieroTema principal: Teste de programas orientados a aspectos.

3 dissertacoes:

Andre EndoOrientador: Adenilso S. SimaoTema principal: Teste de web services.Lucio Felipe NetoAlex AlbertoOrientador: Adenilso S. SimaoTema principal: Teste e minimizacao de MEFs.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 16: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Engenharia de Software Experimental

Engenharia de Software Experimental

Engenheiros de software devem conhecer metodos e processos,mas tambem maneiras de avalia-los.

Pesquisa: muito importante para dar base cientıfica asafirmacoes.

Alguns nichos: comparacao de tecnicas de teste; comparacaode abordagens de desenvolvimento; avaliacao de custo,eficacia e eficiencia de abordagens; ferramentas, metodos eprocessos para apoiar estudos empıricos em ES.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 17: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Engenharia de Software Experimental

Trabalhos Defendidos

1 dissertacao:

Marllos PradoOrientadora: Simone R. S. SouzaTema principal: Avaliacao de criterios de teste para diferentesparadigmas de programacao

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 18: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Abordagens Avancadas de Desenvolvimento de Software

Abordagens Avancadas de Desenvolvimento de Software

Evolucao das abordagens de desenvolvimento e linguagens deprogramacao – linguagem de montagem, programacaoestruturada, programacao procedimental, programacao comtipos abstratos de dados, programacao orientada a objetos(POO).

Porem, ainda existem problemas. Exemplo: a modularizacaode funcionalidades que nao se “encaixam” bem em classes.

Alguns nichos: Linhas de Produto de Software, ProgramacaoOrientada a Aspectos, Desenvolvimento Baseado emComponentes, Padroes de Software, Design Rationale

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 19: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Abordagens Avancadas de Desenvolvimento de Software

Trabalhos Defendidos (1/2)

1 tese:Daniel LucredioOrientadora: Renata P. M. FortesTema principal: Desenvolvimento de software orientado amodelos.

5 dissertacoes:

Carlos Alberto JuniorOtavio MacedoOrientadora: Rosana T. V. BragaTema principal: Desenvolvimento de linhas de produtos desoftware baseado em abordagens avancadas.Paula DoneganOrientador: Paulo C. MasieroTema principal: Desenvolvimento de linhas de produtos desoftware baseado em abordagens avancadas.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 20: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Abordagens Avancadas de Desenvolvimento de Software

Trabalhos Defendidos (2/2)

5 dissertacoes (cont.):

Alessandra ChanOrientadora: Rosana T. V. BragaTema principal: Reutilizacao de software.Sandro BianchiniOrientador: Jose C. MaldonadoTema principal: Avaliacao de metodos de desenvolvimento deaplicacoes web.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 21: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Qualidade de Software

Qualidade de Software

Qualidade de software tem se tornado o criterio dominante naindustria de software.

Busca garantir o desenvolvimento de software de qualidade,aumentar a produtividade, diminuir os custos de manutencaoe melhorar continuamente o processo de desenvolvimento.

Garantir que o software funcione.

Alguns nichos: Melhoria de Processos, VV&T, Modelos deavaliacao e de qualidade.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 22: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Qualidade de Software

Trabalhos Defendidos

1 dissertacao:

Marcelo CriscuoloOrientadora: Rosely SanchesTema principal: Controle de qualidade de produtos de software.

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 23: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

O trabalho comeca cedo!!!

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 24: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

LabES a todo vapor!!!

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 25: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Aluno apresentando trabalho (Suecia 2009).

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 26: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Aluna apresentando trabalho (Fortaleza 2009).

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 27: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Nada como reunir o pessoal ...

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 28: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

... e se divertir um pouco!!!

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 29: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

As vezes nem tao pouco =))

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 30: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

E sempre confraternizando...

XII Simposio de Teses e Dissertacoes

Engenharia de Software

Page 31: Grupo de Engenharia de Software XII Simposio de Teses e ... ES - Simpósio... · Roteiro Membros Objetivos Laborat orio Parceiros Linhas de Pesquisa Trabalhos DefendidosFotos Grupo

Roteiro Membros Objetivos Laboratorio Parceiros Linhas de Pesquisa Trabalhos Defendidos Fotos

Grupo de Engenharia de SoftwareXII Simposio de Teses e Dissertacoes

Programa de Pos-graduacao em Ciencias de Computacaoe Matematica Computacional

Instituto de Ciencias Matematicas e de ComputacaoUSP Sao Carlos

Novembro de 2009

XII Simposio de Teses e Dissertacoes

Engenharia de Software