Rua Bione, 220
Porto Digital - Recife/PE
contato@cesar.edu.br
+55 81 3425.4700

notícias

C.E.S.A.R realiza palestras sobre linguagens de domínio específico e verificação e validação de sistemas

As próximas edições do C.E.S.A.R’s Seminars serão realizadas nos dias 24 e 29 de outubro, às 18h30, no auditório do C.E.S.A.R Tiradentes. C.E.S.A.R's Seminars - Closing the Gap between University and Industry é uma série de encontros que o C.E.S.A.R.EDU -unidade de ensino do C.E.S.A.R- está realizando para diminuir o tempo de entre a produção do conhecimento na universidade e a adoção desse conhecimento pelo mercado. A iniciativa faz parte do programa de intercâmbio do C.E.S.A.R.EDU com instituições de excelência em ensino e pesquisa.

Na palestra do dia 24 será apresentado o conceito de Linguagens de Domínio Específico (DSLs - Domain Specific Languages), muito úteis para o aumento de produtividade em contextos em que são desenvolvidas várias aplicações para um mesmo domínio (por exemplo, no contexto de fábricas de software). Além disso, elas facilitam a interação e integração entre usuário e desenvolvedor, aproximando-os com uma linguagem de fácil entendimento comum. Serão mostrados os motivos que levam à criação de uma DSL e o processo de criação e de uso de DSLs. Também serão apresentadas ferramentas que apóiam a criação de DSLs, e exemplos de uso.

Palestrantes - André Santos é PhD pela Universidade de Glasgow, Escócia, e atualmente é professor adjunto do Centro de Informática da Universidade Federal de Pernambuco, atuando nas áreas de linguagens de programação e engenharia de software. É sócio-fundador e consultor da Qualiti Software Processes, coordenador de infra-estrutura do CIn-UFPE e coordenador do projeto de pesquisa CIn-Samsung.

André Furtado é engenheiro de software e consultor pelo projeto Partec-MyTV; bacharel, mestre e doutorando em Ciência da Computação pela UFPE; Microsoft Student Partner Lead; Certified Microsoft Solutions Framework Practitioner, Microsoft Certified Professional, Certified IBM-DB2 Specialist, Sun Certified Java Programmer 1.4, campeão mundial da competição Imagine Cup 2005 e 2007, campeão do primeiro XNA Challenge Brazil e um dos líderes do grupo de usuários Sharp Shooters .NET.

Verificação e Validação - O estado da arte e da prática em verificação e validação (v&v) de sistemas computacionais é o tema do segundo encontro que acontecerá no dia 29 de outubro. Será apresentada motivação para a necessidade crescente de garantir a confiabilidade de sistemas computacionais, através de técnicas de (v&v), que variam desde testes informais e manuais até técnicas mais elaboradas como análise estática e verificação de modelos e de código: "(software) model checking". Serão considerados vários cenários e estratégias de aplicação, partindo de um contexto ideal, onde o código é gerado a partir de modelos, preservando o comportamento por construção, e progressivamente incluindo cenários mais realistas, onde o código proprietário é gerado de forma ad hoc, sem garantia de aderência ao modelo, ou mesmo quando o único artefato disponível é o código legado. Os palestrantes exploram soluções de v&v para cada cenário com base na integração de testes com técnicas mais elaboradas de análise. O escopo inclui tanto v&v de componentes isolados, como da integração e coordenação de componentes.

Palestrantes - Augusto Sampaio é PhD pela Universidade de Oxford. Atualmente é professor titular de engenharia de software no CIn-UFPE, coordenador de pesquisa do CIn, coordenador do projeto de cooperação CIn-Motorola, bolsista de produtividade em pesquisa do CNPq e sócio da Qualiti Software Processes.

Alexandre Mota é Doutor pela UFPE. Atualmente é professor adjunto II em engenharia de software no CIn-UFPE, coordenador da graduação em Ciência da Computação do CIn, coordenador do projeto de pesquisa CIn-Embraer e pesquisador colaborador do projeto de pesquisa CIn-Motorola.

Serviço:
Palestra 1
“Linguagens de Domínio Específico: o que são, quando e como utilizar”
Palestrantes: André Santos e André Furtado
Local: Auditório do C.E.S.A.R - Tiradentes (Rua Bione, 220 - Bairro do Recife)
Data: 24 de outubro de 2007 (quarta-feira)
Horário: 18h30

Palestra 2
“Estado da Arte e da Prática em Verificação e Validação de Sistemas Computacionais”
Palestrantes: Augusto Sampaio e Alexandre Mota
Local: Auditório do C.E.S.A.R - Tiradentes (Rua Bione, 220 - Bairro do Recife)
Data: 29 de outubro de 2007 (segunda-feira)
Horário: 18h30
Inscrições: 3425-4573 ou imprensa@cesar.org.br