Carta de Apresentação VI Congresso Brasileiro de Software: Teoria e Prática 21 a 26 de Setembro de 2015 Belo Horizonte Minas Gerais Local: PUC-Minas - Campus Coração Eucarístico Realização Promoção
Conteúdo O Congresso Brasileiro de Software: Teoria e Prática 2015... 3 Público alvo do evento... 4 Os simpósios que integram o CBSoft... 5 Coordenação Geral da Organização do CBSoft 2015... 10 Contatos... 11 2
O Congresso Brasileiro de Software: Teoria e Prática 2015 O Congresso Brasileiro de Software: Teoria e Prática (CBSoft) é o principal e maior evento na área de software promovido pela Sociedade Brasileira de Computação (SBC). Em 2015 ocorrerá a sexta edição do congresso, que desde 2010 reúne os mais tradicionais simpósios nacionais na área. O CBSoft tem um caráter pioneiro e representa um importante marco na integração de eventos científicos promovidos pela SBC. Trata-se de um congresso que possui tanto atividades integradas para todos os simpósios como atividades separadas, de forma que os participantes podem escolher participar do congresso inteiro ou de apenas um subconjunto de seus simpósios. A programação do CBSoft 2015 contará com diversas atividades que se destacam pelo alto nível técnico-científico e que cobrem diferentes aspectos, incluindo: Sessões técnicas para a apresentação dos artigos científicos selecionados; Palestras convidadas com especialistas nacionais e internacionais; Sessões de ferramentas de software; Painéis com representantes da academia, indústria e governo; Fórum de Educação em Engenharia de Software; Workshop de Teses e Dissertações; Workshops satélites; Tutoriais e minicursos. O congresso tem duração de uma semana. É esperada a participação de mais de 850 congressistas, entre alunos de graduação e pós-graduação, professores, pesquisadores e profissionais da indústria. Além disso, pesquisadores nacionais e internacionais de renome farão parte como convidados para ministrar palestras sobre assuntos atuais na área. Belo Horizonte conta com um número expressivo de instituições de ensino superior com cursos na área de Computação. As três instituições que concentram os cursos de maior qualidade na área são as organizadoras deste evento: Universidade Federal de Minas Gerais, Pontifícia Universidade Católica de Minas Gerais e Centro Federal de Educação Tecnológica de Minas Gerais. Com isso, é esperada uma participação significativa de estudantes de graduação e de pós-graduação na edição de 2015 do CBSoft. Além disso, a cidade também é polo da indústria de software no país. Devido a esse cenário favorável à educação e à produção de software na região, é esperada a presença no CBSoft 2015 de alguns dos alunos e dos profissionais mais talentosos na área de software no país atualmente. 3
Público alvo do evento O público alvo do CBSoft são pesquisadores, professores e estudantes de graduação e pósgraduação da comunidade de computação, além de profissionais da indústria e membros de órgãos governamentais e da sociedade civil interessados nos temas abordados nos eventos. Uma breve caracterização desta audiência é apresentada a seguir. Público Acadêmico e de Pesquisa: professores universitários, pesquisadores de centros de P&D e estudantes de graduação e pós-graduação encontram anualmente nos simpósios que compõem o CBSoft a oportunidade de trocar informações científicas e tecnológicas e de debater temas e soluções nas áreas específicas de cada um. São desenvolvidas atividades visando à integração dos jovens alunos dos cursos de graduação, futuros divulgadores das atividades do congresso. Do ponto de vista formal, o público alvo possui principalmente formação em Ciência da Computação, Engenharia da Computação, Engenharia de Software, Sistemas de Informação, Engenharia Elétrica e Matemática Aplicada. Público empresarial/industrial: os simpósios que compõem o CBSoft costumam atrair dois tipos principais de profissionais: (i) diretamente ligados à indústria de desenvolvimento de software, cujo negócio fim é a construção de sistemas de software para venda a seus clientes; e (ii) ligados a vários outros tipos de indústria, cujo negócio fim não é o desenvolvimento de software, mas que depende da tecnologia da informação para manter a produtividade, o dinamismo e a flexibilidade de seus processos de negócio em um nível adequado, como as áreas bancária, financeira, de telecomunicações etc. Em ambos os casos, tanto profissionais com viés técnico quanto executivos dessas empresas sentem necessidade de estarem atualizados em relação às melhores técnicas, metodologias, abordagens e ferramentas associadas ao ciclo de desenvolvimento de software. Público governamental: diferentes órgãos relacionados a todas as esferas do governo também costumam se mostrar muito interessados nos simpósios que compõem o CBSoft. Historicamente, vários membros de órgãos governamentais têm participado desses eventos, tanto como pesquisadores, apresentando resultados de seus trabalhos para serem discutidos com a comunidade em geral, quanto como participantes interessados em buscar soluções para serem aplicadas na melhoria dos processos públicos de gestão. 4
Os simpósios que integram o CBSoft Todos os simpósios que compõem o CBSoft estão relacionados ao tema software de uma forma geral, embora cada um deles possua um objetivo mais específico dentro dessa grande área, conforme descrito a seguir. SBES (Simpósio Brasileiro de Engenharia de Software): trata-se do principal evento científico da área no Brasil. O evento visa estudar processos, métodos, técnicas e ferramentas para o desenvolvimento, manutenção e evolução de software. O SBES normalmente atrai cerca de 500 pessoas entre estudantes, acadêmicos e profissionais da indústria interessados no tema engenharia de software. O simpósio estará em sua 29ª edição em 2015. Tópicos de interesse do SBES: Aplicações da Engenharia de Software na indústria Aspectos sociais da Engenharia de Software Confiabilidade e disponibilidade de software CSCW e Engenharia de Software Desenvolvimento orientado a modelos Engenharia de requisitos Engenharia de Software experimental Engenharia de Software orientada a agentes Engenharia de Software orientada a aspectos Engenharia de Software orientada a componentes Engenharia de Software para a web Fundamentos teóricos e métodos formais Linha de produto de software 5
Manutenção de software Métodos, técnicas, e ferramentas para engenharia de software Métricas e medições em engenharia de software Processos de software (incluindo métodos ágeis) Qualidade de software Reengenharia de software Reutilização de software Verificação, validação e teste de software SBLP (Simpósio Brasileiro de Linguagens de Programação): tem como objetivo criar um fórum em que pesquisadores, estudantes e profissionais possam apresentar e discutir princípios e inovações no projeto, definição, análise, transformação e implementação de linguagens de programação. Em 2015, ocorrerá a 19ª edição do SBLP. Tópicos de interesse do SBLP: Implementação e projeto de linguagem de programação Semântica Formal de linguagens de programação Fundamentos teóricos de linguagens de programação Projeto e implementação de ambientes de linguagem de programação Linguagens de programação orientadas a objeto Programação funcional Linguagens de programação orientadas a aspectos Linguagens de script Linguagens de domínio específico Linguagens de programação para computação móvel, web e rede Novos modelos de programação Transformações de programa Análise e Verificação de programa Técnicas de compilação e interpretação SBMF (Simpósio Brasileiro de Métodos Formais): voltado à disseminação do desenvolvimento e uso de métodos formais para a construção e a verificação de sistemas computacionais, objetivando promover oportunidades para pesquisadores discutirem os mais recentes avanços na área. O SBMF fará a sua 17ª edição no próximo ano. Tópicos de interesse do SBMF: Linguagens de projeto e especificação bem fundamentadas Aspectos formais de linguagens e metodologias populares Lógica e semântica de linguagens de especificação e programação Teorias dos domínios reusáveis Sistemas de tipos e teoria das categorias na Ciência da Computação Complexidade computacional de métodos e modelos Modelos computacionais Sistemas de reescrita 6
Integração de métodos formais Métodos formais para o desenvolvimento de software/hardware Métodos formais aplicados à engenharia baseada em modelos Geração de código Métodos de projeto formais Modelagem e especificação Técnicas de abstração, modularização e refinamento Síntese de programas e testes Técnicas de correção por construção Métodos formais e modelos para sistemas baseados em objetos, aspectos e componentes Métodos formais e modelos para sistemas de tempo real, híbridos e críticos Métodos formais e modelos para sistemas orientados a serviços Modelos de concorrência, segurança e mobilidade Verificação de modelos Provador de teoremas SBCARS (Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software): reúne pesquisadores, estudantes e profissionais com uma ampla gama de interesses em engenharia de software baseada em componentes, arquiteturas e reutilização de software. Em 2015 ocorrerá a 9ª edição do SBCARS. Tópicos de interesse do SBCARS: Engenharia de software baseada em componentes Especificação, verificação e teste de componentes Evolução de sistemas baseados em componentes Repositórios de componentes Programação baseada em componentes Certificação e qualidade de componentes Linguagens de descrição de arquitetura de software Arquiteturas orientadas a modelos Arquiteturas orientadas a serviços Arquiteturas de software e desenvolvimento ágil Especificação e verificação de arquiteturas Reutilização de software orientada a aspectos Linhas de produtos de software, famílias e engenharia de domínio Evolução em linhas de produto de software Gerência de variabilidade de software Programação generativa e linguagens específicas de domínio Engenharia orientada a modelos Ferramentas de suporte para componentes de software, arquiteturas e reutilização Estudos de caso e relatos de experiência 7
- Fotos de Eduarto Tadeu, disponíveis em www.facebook.com/cbsoft2013 8
Instituições organizadoras A Sociedade Brasileira de Computação (SBC) é uma instituição científica, sem fins lucrativos, que tem dentre seus objetivos incentivar a pesquisa e o desenvolvimento em Computação no Brasil. A SBC reúne há 35 anos professores, estudantes, pesquisadores e profissionais da Computação. Ela é a principal entidade promotora de congressos e conferências na área de Computação no Brasil. Sua sede é em Porto Alegre-RS e atualmente é presidida pelo Prof. Paulo Roberto Freire Cunha, da Universidade Federal de Pernambuco. A Universidade Federal de Minas Gerais (UFMG) é a maior universidade federal do Brasil, e a maior universidade de Minas Gerais. A instituição possui mais de 49 mil estudantes de graduação e pós. Seu Departamento de Ciência da Computação (DCC) é o mais antigo e maior de Minas Gerais, contando hoje com 63 docentes. A graduação em computação do DCC/UFMG obteve nota máxima no ENADE de 2008, a melhor colocação do país. O programa de pós graduação em Ciência da Computação da UFMG possui conceito CAPES 7, o maior possível. O DCC/UFMG deu origem a várias empresas de renome, como por exemplo a Akwan Information Technologies, vendida em 2005 para o Google, ou o Miner Technology Group, vendido para o Universo Online em 1999. A Pontifícia Universidade Católica de Minas Gerais (PUC-MG) fundada em 1958, está presente em diversas regiões do Estado, com uma estrutura multicampi. A Instituição reuniu, em 2013, quase 60 mil alunos de graduação e pós-graduação. O seu Departamento de Ciência da Computação foi criado em 1987 e é composto pelo Programa de Mestrado em Informática e pelos cursos de Ciência da Computação, Engenharia de Computação e Tecnologia em Jogos Digitais. Existe também o recém criado Departamento de Engenharia de Software e Sistemas de Informação que abriga quatro bacharelados em Sistemas de Informação. Ambos os departamentos pertencem ao Instituto de Ciências Exatas e Informática. De acordo com o Vaticano, a PUC Minas é a maior universidade católica do mundo. Recebeu a distinção de "A melhor Universidade do Ano (categoria particular)" no Prêmio Melhores Universidades Guia do Estudante, em 2006 e de 2010 a 2013. O Centro Federal de Educação Tecnológica de Minas Gerais (CEFET-MG) tem mais de 100 anos de atuação no ensino superior, técnico e de pós-graduação. O CEFET-MG possui 12 unidades em 10 municípios de Minas Gerais. O Departamento de Computação do CEFET-MG oferece o curso de graduação em Engenharia de Computação. O curso foi reconhecido pelo MEC em 2012, tendo obtido o conceito 5, que corresponde à nota máxima na avaliação do MEC. Na avaliação do ENADE, o curso obteve nota 4 e é um dos cursos de Engenharia de Computação mais bem avaliados no país. São ofertados pelo departamento dois cursos técnicos, o de Informática e o de Redes. Associado ao departamento está o Programa de Pós-graduação em Modelagem Matemática e Computacional, que oferece curso de mestrado e doutorado. 9
Coordenação Geral da Organização do CBSoft 2015 Prof. Eduardo Magno Lages Figueiredo é coordenador do Laboratório de Engenharia de Software (LabSoft) da Universidade Federal de Minas Gerais (UFMG) e pesquisador Nível 2 do CNPq. Ele é doutor em Computação pela Universidade de Lancaster na Inglaterra (2009), mestre em Informática pela PUC-Rio (2006) e bacharel em Ciência da Computação pela Universidade Federal de Ouro Preto (UFOP). Ele atua em Engenharia de Software e seus principais interesses de pesquisa incluem: métricas de software, padrões de projeto, engenharia de software experimental e reutilização de software. Eduardo já organizou vários workshops nacionais e internacionais. Prof. Fernando Magno Quintão Pereira é doutor em Ciência da Computação pela University of California, Los Angeles, tendo obtido seu título em Dezembro de 2008. Fernando é bolsista de produtividade em pesquisa pelo CNPq, e coordena o Laboratório de Compiladores do DCC/UFMG. Seus interesses de pesquisa envolvem técnicas de análise e otimização de códigos, técnicas de paralelização automática de programas e técnicas de geração de testes de software. Profª Kecia Aline Marques Ferreira é doutora em Ciência da Computação pela UFMG (2011), mestre em Ciência da Computação pela UFMG (2007), especialista em Engenharia de Software pela UFMG (2001), graduada em Ciência da Computação pela PUC-MG (1999) e técnica em Informática Industrial pelo CEFET-MG (1994). Tem experiência na indústria de software e atua há 10 anos como docente e pesquisadora na área de Engenharia de Software. Seus principais interesses são qualidade, medição, manutenção e evolução e software. Atualmente é professora e coordenadora do curso de Engenharia de Computação do CEFET-MG. Profª Maria Augusta Vieira Nelson é doutora em Ciência da Computação pela University of Waterloo, Canadá (2003), mestre e bacharel em Ciência da Computação pela UFMG (1995 e 1993). É professora da Pontifícia Universidade Católica de Minas Gerais desde 2004. Tem experiência na área de Engenharia de Software, atuando principalmente nos seguintes temas: engenharia de requisitos, arquitetura e projeto de software, testes, educação de engenharia de software. 10
Contatos Eduardo Magno Lages Figueiredo Universidade Federal de Minas Gerais (UFMG) Departamento de Ciência da Computação (DCC/ICEx) Av. Antônio Carlos, 6627, Pampulha. Belo Horizonte - MG. CEP: 31270-010 Telefone: (31) 3409-5878 e-mail: figueiredo@dcc.ufmg.br, emagno@gmail.com Fernando Magno Quintão Pereira Universidade Federal de Minas Gerais (UFMG) Departamento de Ciência da Computação (DCC/ICEx) Av. Antônio Carlos, 6627, Pampulha. Belo Horizonte - MG. CEP: 31270-010 Telefone: (31) 3409-5587 e-mail: fernando@dcc.ufmg.br, pronesto@gmail.com Kecia Aline Marques Ferreira Centro Federal de Educação Tecnológica de Minas Gerais Campus II Departamento de Computação Av. Amazonas, 7678 - Bairro Nova Gameleira. Belo Horizonte MG CEP: 30.421-169 Telefone: (31) 3319-6870/ 6872 e-mail: kecia@decom.cefetmg.br, keciamarques@gmail.com Maria Augusta Vieira Nelson Instituto de Ciências Exatas e Informática Pontifícia Universidade Católica de Minas Gerais Av. Dom José Gaspar, 500 - Coração Eucarístico Belo Horizonte - MG - CEP 30535-901 Telefone: (31) 33194117, (31)87220303 e-mail: guta@pucminas.br, mavnelson@gmail.com 11
12