Patrocínio







  • free counters


Congresso Brasileiro de Software de 2012: Teoria e Prática

O Congresso Brasileiro de Software: Teoria e Prática (CBSoft) é o principal evento realizado anualmente pela Sociedade Brasileira de Computação, com a intenção de promover e incentivar a troca de experiências entre as comunidades científica, acadêmica e profissional sobre as mais recentes pesquisas, tendências e inovações – práticas e teóricas – na área de software.


Além dos Minicursos, Tutoriais e Workshops, a programação do CBSoft integra quatro eventos tradicionais organizados pela comunidade brasileira de desenvolvimento de software:

  • XXVI Simpósio Brasileiro de Engenharia de Software (SBES 2012)
  • XVI Simpósio Brasileiro de Linguagens de Programação (SBLP 2012)
  • XV Simpósio Brasileiro de Métodos Formais (SBMF 2012)
  • VI Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2012)

O CBSoft também hospedará um evento internacional:

  • IX Conferência Latino-americana em Linguagens de Padrões de Programação (SugarLoafPlop).

Pela primeira vez o CBSoft está sendo organizado pelo Departamento de Informática e Matemática Aplicada (DIMAp) da Universidade Federal do Rio Grande do Norte (UFRN) e será realizado na cidade do Natal-RN.


A cidade do Natal, popularmente conhecida como “Cidade do Sol” possui diversos atrativos naturais e culturais. São 399 km de litoral, em torno de 300 dias de sol por ano, temperatura média anual de 28°C, águas mornas, povo hospitaleiro, brisa constante que sopra do oceano até a costa. Estar em Natal significa também respirar ar puro, compartilhar de uma vida ainda pacata para cidades capitais de estado. A propósito, quem vem a Natal respira também cultura, pois esta é a terra do maior folclorista brasileiro Câmara Cascudo. Natal é Natal todos os dias, pois nasceu no dia 25 de dezembro de 1599.


Venha a Natal participar do CBSoft 2012 e se entregue a essa magia!!!


Nélio Cacho

Coordenador Geral CBSoft 2012


Palestrantes

Workshops

Ivan Kurtev (Universidade de Twente (Holanda))

III Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos


O WB-DSDM receberá como palestrante convidado o professor assistente e pesquisador Ivan Kurtev, no grupo de Engenaria de Software da Universidade de Twente (Holanda). Obteve seu PhD na Universidade de Twente, e fez estágio de pós-doutorado no INRIA e Universidade de Rennes, na equipe ATLAS. Os interesses de pesquisa centrais de Ivan Kurtev estão focalizados em linguagens de transformações de modelos, metamodelagem, modelagem de requerimentos e traçabilidade. Ivan Kurtev é um pesquisador com destaque crescente na área de teorização e comparação entre abordagens de transformações de modelos, com publi (...)

SBCARS

Patrick C. K. Hung (Faculty of Business and IT, University of Ontario Institute of Technology (UOIT), Canada)

Services Oriented Architecture (SOA): A Case Study in Healthcare Applications


Patrick CK Hung é Professor Associado da Faculdade de Negócios e Tecnologia da Informação na University of Ontario  Institute of Technology (UOIT) no Canadá e Professor Adjunto do Laboratório State Key na Universidade de Wuhan, na China. Além disso, ele também é um Pesquisador Visitante na Universidade de Aizu, no Japão. Hung já trabalhou na Boeing Research and Technology em Seattle nos EUA, onde possui dois pedidos de patentes norte-americanas sobre "Mobile Network Dynamic Workflow Exception Handling System" com a Boeing. Ele é membro do comitê fundador da International Conference of Web Servi (...)

SBCARS

Heiko Ludwig (IBM- Almaden Research Center, USA)

Managing Large Scale, Loosely Coupled Systems


Heiko Ludwig é Gerente de Pesquisa no Almaden IBM Research Center, em San Jose, CA. Ele é gerente do departamento de Modelagem de Negócios que trabalha com o alinhamento dos sistemas de TI, em particular de sistemas de grande porte, sistemas baseados na web, com estratégia de negócios e operações. Isso se relaciona com questões de gerenciamento de serviços e plataformas de gerenciamento de serviços em geral, em particular a questão da escala de serviços e gestão de variantes. Outro trabalho inclui aspectos de gestão em larga escala, baixo acoplamento, sistemas cross-domain distribuídos, incluindo terce (...)

Minicursos

Marcelo Cyreno (LG Corporation)

Introdução ao desenvolvimento com Android


Graduado em Ciências da Computação pela Universidade Católica de Pernambuco. Trabalha atualmente como Engenheiro de Software na LG Electronics customizando smartphones Android para o mercado da América do Sul e Central. Trabalhou no CESAR de 2003 a 2010 com diversas tecnologias Web e Mobile. Possui as certificações da Sun SCJP, SCWCD e SCMAD.

Minicursos

Mário Henrique Trentim (Instituto de Aeronáutica e Espaço)

Gerenciamento de Projetos – Básico


Engenheiro Eletrônico e mestrando pelo ITA, MBA em Finanças pela CBS e pós-MBA Advanced Topics in Project Management pela University of La Verne. Trabalhou no Centro Técnico Aeroespacial e no Departamento de Controle do Espaço Aéreo. Atualmente é gerente de programas e portfólio no Instituto de Aeronáutica e Espaço. Sócio da iPM Consult. Possui mais de 10 anos de experiência em gerenciamento de projetos. Professor da FAAP, ITA e CBS em cursos de Graduação e Pós-Graduação. Possui as seguintes certificações: PMP®, PMI-RMP®, CSM® e MCT®, Microsoft Certified (...)

Minicursos

Eiran Simis (Centro de Estudos e Sistemas Avançados do Recife (CESAR))

StartupS - Empreendendo a sua Startup de Software no Brasil


Graduado em Administração de Empresas pela UPE e MBA em Gestão Empresarial pela FGV. Atualmente é gerente da área de Empreendedorismo do Centro de Estudos e Sistemas Avançados do Recife, consultor do Porto Digital, professor de pós graduação do CESAR.EDU, Faculdade Maurício de Nassau, SENAC e Faculdade Boa Viagem. Tem experiência na área de Administração, com ênfase em empreendedorismo e inovação. Ao longo da sua carreira participou do processo de criação e desenvolvimento de mais de 100 empresas de tecnologia (startups)

Minicursos

Izabella Lyra (Centro de Estudos e Sistemas Avançados do Recife – C.E.S.A.R.)

Gestão Ágil de Projetos com SCRUM


Graduada em Ciência da Computação pela Universidade Federal de Pernambuco, cursou MBA em Finanças Corporativas e Gestão de Serviços pela mesma universidade. Adquiriu titularidade de PMP pelo Project Management Institute em 2005 e Certified Scrum Master pelo Scrum Alliance em 2007. Leciona no curso de especialização em Gestão Ágil de Projetos na unidade de educação do CESAR, o Cesar.edu. Possui mais de 17 anos de experiência profissional em Tecnologia da Informação, sendo mais de 15 em gestão de pessoas. Atualmente é Gerente Chefe de Projetos no CESAR onde coordena o escritório (...)

Minicursos

Fred Lopes (UFRN)

INTRODUÇÃO À PLATAFORMAS DE COMPUTAÇÃO EM NUVEM - UMA ABORDAGEM PRÁTICA


Fred Lopes é mestre em Sistemas e Computação e doutor em Ciência da Computação pela UFRN, tendo realizado parte de seu doutorado no IST/UTL (Lisboa, Portugal). É professor adjunto da Universidade Federal do Rio Grande do Norte (UFRN). Atualmente, Fred é gerente do AltoStratus, projeto que envolve pesquisadores da UFRN, UFRJ, UFPE, UNICAMP, PUC-Rio, UFRGS, UFABC e UNIFOR, e com o objetivo de  propor, especificar, implementar, implantar e avaliar técnicas e mecanismos de middleware para ambiente de nuvens computacionais híbridas e heterogêneas. Tem experiência na área de Ciência da Computaçã (...)

Minicursos

Thaís Batista (UFRN)

DESENVOLVENDO APLICAÇÕES PARA PLATAFORMAS DE NUVEM


Thais Vasconcelos Batista possui mestrado em Informática (1994), doutorado em Informática (2000), ambos pela PUC-Rio e pós-doutorado realizado na Lancaster University – UK (2005). Atualmente é professora associada do Departamento de Informática e Matemática Aplicada (DIMAp) da Universidade Federal do Rio Grande do Norte (UFRN) e bolsista de produtividade nível 2 do CNPq. Suas pesquisas na área de Sistemas Distribuídos e Engenharia de Software envolvem middleware, computação ubíqua, computação em nuvem, desenvolvimento orientado a aspectos, arquitetura de software, entre outros. Atualmente coordena o proj (...)

SBMF

John Rushby (SRI International )

The Versatile Synchronous Observer


John Rushby possui graduação e doutorado em Ciência da Computação pela Universidade de Newcastle upon Tyne em 1971 e 1977, respectivamente. Entrou no Laboratório de Ciência da Computação da SRI Internacional, em 1983, e atuou como seu diretor de 1986-1990. Ele atualmente administra o programa de pesquisa em métodos formais e sistemas confiáveis ​​da SRI. Antes de ingressar na SRI, ele ocupou cargos acadêmicos nas Universidades de Manchester e Newcastle upon Tyne, na Inglaterra. Ele tem como principal interesse de pesquisa o uso de métodos formais automatizados para modelagem de problemas no projeto e (...)

SBMF

Wolfram Schulte (Microsoft Research)

Ten Years of Automated Code Analysis at Microsoft


Wolfram Schulte é um dos principais pesquisadores do Microsoft Research (MSR) em Redmond, EUA, e gerente fundador do grupo de pesquisa “Research in Software Engineering (RiSE)”. Interesses de pesquisa incluem engenharia de software com foco em modelagem, verificação e teste, e linguagens de programação que vão desde design de linguagem para tempos de execução. Antes de ingressar na MSR em 1999, Wolfram trabalhou como professor associado na Universidade de Ulm (1993-1999), como engenheiro de software do sd & m, uma empresa de software alemã (1992-1993), e como pesquisador e assistente de ensino na Universidade Técn (...)

Tutorial

Wilkerson de L. Andrade (UFCG)

Teste Baseado em Modelos para Sistemas de Tempo Real


Wilkerson de Lucena Andrade concluiu a graduação, o mestrado e o doutorado em Ciência da Computação pela Universidade Federal de Campina Grande em 2005, 2007 e 2011, respectivamente. Trabalhou na Universidade Estadual da Paraíba (UEPB) e na Universidade Federal da Paraíba (UFPB). Atualmente é professor do Departamento de Sistemas e Computação da Universidade Federal de Campina Grande, Brasil, desde 2010. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software. Mais especificamente, os seus interesses de pesquisa estão relacionados com verificação e (...)

Tutorial

Luciano Baresi (Politecnico di Milano - Dipartimento di Elettronica e Informazione)

Adaptive and Self-managing Systems


Luciano Baresi (PhD) is an associate professor at Dipartimento di Elettronica e Informazione of Politecnico di Milano, and was also visiting researcher at University of Oregon at Eugene (USA) and University of Paderborn (Germany). Luciano has published and presented some 120 papers on the most important national and international journals and conferences, and served as PC member for several conferences. Luciano was program chair of ICECCS’02 (International Conference on Engineering Complex Computer Systems), FASE06 (ETAPS Conference on Fundamental Approaches on Software Engineering), and ICWE07 (International Conference on Web Engineering), ICSOC09 (International Conference on Service-Orien (...)

Tutorial

Leonardo de Moura (Microsoft Research)

SMT (Satisfiability Modulo Theories): um cálculo para a ciência da computação


Leonardo de Moura é pesquisador sênior da Microsoft Research em Redmond/EUA desde 2006. Seus principais interesses são provadores automáticos de teorema, verificação e teste de programas, álgebra computacional, e programação linear. Ele é o arquiteto do provador de teoremas Z3, usado em diversos projetos dentro e fora da Microsoft. Antes da Microsoft, Leonardo foi um cientista do SRI International em Menlo Park, California. Ele recebeu o título de doutor em ciências da computação pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) em 2000

Tutorial

Marcelo Schots (COPPE/UFRJ, UERJ)

Explorando o Intangível: Um Panorama da Visualização de Software e suas Aplicações.


Marcelo Schots é mestre (2011) e doutorando em Engenharia de Sistemas e Computação pela COPPE/UFRJ na linha de pesquisa em Engenharia de Software, e bacharel em Ciência da Computação pela Universidade Federal de Juiz de Fora (2007). É professor substituto da Universidade do Estado do Rio de Janeiro (UERJ) desde 2010, atuando nas áreas de Modelagem de Sistemas, Engenharia de Requisitos e Engenharia de Software. Implementador e avaliador MPS.BR, presta consultoria e treinamento em processos de software, com ênfase em gerência de configuração e ger&ec (...)

SBES

Bertrand Meyer (Swiss Federal Institute of Technology)

Concurrent Programming is Easy


Bertrand Meyer é professor de Engenharia de Software na ETH Zurich, Instituto Federal Suíço de Tecnologia, professor do ITMO (Universidade Estadual de São Petersburgo) e arquiteto-chefe da Eiffel Software (com sede na Califórnia). Ele é o projetista inicial do método Eiffel e sua linguagem de programação. Ele também dirigiu o desenvolvimento do ambiente EiffelStudio, compilador, ferramentas e bibliotecas através de suas sucessivas versões.
Outras atividades incluem: chair da conferência TOOLS (em execução desde 1989, hospedado no ETH desde 2007, próxima edição 27 junho (...)

SBES

Arie van Deursen (Delft University of Technology, Netherlands)

Software: Good, Bad, or Just a Matter of Taste?


Arie van Deursen obteve o titulo de PhD em Ciências da Computação pela Universidade de Amsterdã (1994), e mestre pela Vrije Universiteit Amsterdam (1990). Desde 2003, Arie van Deursen é diretor do Software Engineering Research Group (SERG) em Delft University of Technology. Antes disso, trabalhou como pesquisador no CIT, Centro de Pesquisa holandesa de Matemática em Ciência da Computação. Ele é membro do comitê de programa das principais conferências da área de engenharia de software, mais especificamente: o ICSE (2010-2012), FSE (2010, 2012), OOPSLA (2012), e ECOOP (2010,2011). Suas principais linhas de pesquis (...)

SBES

Guilherme Horta Travassos (COPPE-UFRJ)

A Engenharia e o Software: reflexões de um aprendiz na Cidade do Sol


Possui graduação em Engenharia Elétrica pela Universidade Federal de Juiz de Fora (1985), mestrado (1990) e Doutorado (1994) em Engenharia de Sistemas e Computação pela COPPE/Universidade Federal do Rio de Janeiro. Realizou estágio de Pós-Doutorado na University of Maryland-College Park (USA - 1998-2000), tendo como focos principais experimentação aplicada na Engenharia de Software e linha de produto de software juntamente com o SEL/NASA. Atualmente é professor do Programa de Engenharia de Sistemas e Computação (PESC) da COPPE/Universidade Federal do Rio de Janeiro. Tem experiência na área de Ciên (...)

SBLP

Bernhard K. Aichernig (Graz University of Technology, Austria)

The Science of Killing Bugs in a Black Box


Bernhard K. Aichernig é professor associado e gerente de projetos da Graz University of Technology, na Áustria. Ele é um especialista em métodos formais e testes. Sua pesquisa se concentra no aperfeiçoamento de elementos fundamentais da engenharia de software no sentido de obter a geração de sistemas confiáveis. Desde 2006, ele lidera projetos europeus sobre este tema (CREDO, MOGENTES, MBAT). Bernhard também é membro da diretoria do Formal Methods Europe (FME), uma organização internacional que promove técnicas bem fundamentadas na engenharia de software e organiza anualmente a Conferência de Mét (...)

SBLP

Luís S. Barbosa (Universidade do Minho and INESC TEC, Braga, Portugal)

Invariants as Types


Luís S. Barbosa é professor associado do Departamento de Informática da Universidade do Minho, Portugal, e um pesquisador do Garantia-alta Software Laboratory (HASLab) no INESC TEC. Seus interesses de pesquisa incluem linguagens, semântica e cálculos para a coordenação de componente e fundamentos de projeto arquiteturais. Em ambas as áreas, ele coordenou vários projetos de pesquisa. Atuou como Diretor de MAP-i, o programa conjunto de doutorado em Ciência da Computação das Universidades do Minho, Aveiro e Porto.

Parar