INES – National Institute of Science and Technology for Software Engineering

Pesquisador do INES realiza Doutorado Sanduíche na UBC com Prof. Gail Murphy

O aluno Roberto Almeida Bittencourt, da UFCG, realizará estágio de pesquisa de doutorado na área de verificação de conformidade arquitetural no contexto de evolução de software. O estágio será no Software Practices Lab, do Departamento de Ciência da Computação da UBC – University of British Columbia, localizada em Vancouver, Canadá.

Neste estágio, Roberto será supervisionado pela professora Gail C. Murphy.
A realização deste estágio se justifica pela enorme experiência da profª. Gail Murphy na condução de pesquisas na área de evolução de software. Em particular, a sua experiência no tema específico deste doutorado, modelos de reflexão e verificação de conformidade arquitetural, deve contribuir de forma patente, tanto para a melhoria como para o reconhecimento deste trabalho.

Mais especificamente, as atividades programadas para o período do estágio de pesquisa são as seguintes:

• Desenvolvimento e avaliação de ferramenta de checagem de conformidade arquitetural baseada em testes de design;
• Desenvolvimento e avaliação de ferramenta de sugestões automáticas de mudanças arquiteturais;
• Avaliação do processo de verificação de conformidade arquitetural como um todo através de um quase-experimento longitudinal e de estudos de caso quali-quantitativos.

Em todas estas atividades, a profª. Gail Murphy irá colaborar no design detalhado das avaliações empíricas propostas, coleta e análise de dados, além de debater aprofundadamente a temática da tese com o doutorando e oferecer-lhe insights a partir de sua larga experiência como pesquisadora da área de evolução de software e, mais especificamente, dos tópicos de verificação de conformidade arquitetural e modelos de reflexão.

Para viabilizar o estágio de pesquisa, o aluno conta com bolsa de doutorado da FAPESB e apoio do INES para a passagem aérea, por meio do projeto “Modelos, Tćcnicas e Ferramentas para Evoluçāo de Software”.

Link para a atividade:

http://amigos.ines.org.br/ines/viewTask.do?method=viewTask&code=256&project=8

Contratação de Novo Bolsista

O projeto “Definição de um Testbed para o Desenvolvimento de Software” amplia suas atividades e contrata Irineu Martins de Lima Moura como bolsista de iniciação científica. Irineu trabalhará no desenvolvimento de uma ferramenta para reestruturar automaticamente o código de tratamento de exceções em aplicações escritas em Java. Essa reestruturação utilizará uma linguagem nova linguagem de Programação Orientada a Aspectos chamada EJFlow.

Contratação de novo bolsista

O projeto “Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real” amplia suas atividades e contrata Elton Renan Magalhães Alves como pesquisador bolsista.  Elton será responsável por liderar a atividade “Exploração sistemática de estados para o teste de sistemas concorrentes” sob responsabilidade de Marcelo dAmorim (CIn-UFPE).

Researcher from USC visits LES/UFBA

INES at OSS 2010 Doctoral Consortium

Antonio Soares de Azevedo Terceiro (UFBA),  PHD student at DMCC – UFBA – Bahia, had a paper entitled “Developers’ Contribution to Structural Complexity in Free Software Projects” accepted for the OSS 2010 Doctoral Consortium. The 6th edition of the International Conference on Open Source Systems (OSS), will be held between May 30th and June 2nd, at Notre Dame, IN, USA.

Terceiro’s work is part of the INES project “Models, Techniques and Tools for Sofware Evolution”.

The next OSS conference, OSS 2011, will be held in Salvador – Bahia, Brazil.

UFCG/UEFS researcher visits LES-UFBA

Roberto Bittencourt (UEFS), PhD Student at UFCG, visited the Laboratory of Software Engineering at UFBA and presented a seminar entitled “Evolutionary Reflection  Models”, concerning his doctoral thesis (supervised by Prof. Dalton Serey). Roberto will spend a year at UBC, Vancouver, working with the research group of Prof. Gail Murphy. UFBA and UFCG cooperate through the INES project “Models, Techniques and Tools for Software Evolution”.

http://amigos.ines.org.br/ines/viewProject.do?projectId=8

Núcleo INES de Petrolina realiza Workshop

O 1º WORKSHOP DE ENGENHARIA DE SOFTWARE DO SERTÃO DO SÃO FRANCISCO – WESS 2010, será realizado em 14 de abril de 2010, no auditório da Faculdade de Ciências Aplicadas e Sociais de Petrolina (FACAPE) tendo como tema transversal “Desafios da Engenharia de Software para o Desenvolvimento do Vale do São Francisco” e com uma programação composta por palestras com os integrantes do INES: Sérgio Soares (CIn-UFPE) e Laís Salvador (DCC-UFBA), com apresentação de trabalhos científicos e sessões técnicas de apresentação do INES às empresas da região.
O Evento será promovido pelo Núcleo INES em Petrolina, com a participação da Faculdade de Ciências Aplicadas e Sociais de Petrolina – FACAPE, da Universidade Federal do Vale do São Francisco – UNIVASF e do Instituto Federal de Educação, Ciência e Tecnologia do Sertão Pernambucano – IF SERTÃO – PE.
O Objetivo do evento e estimular a pesquisa e o desenvolvimento de software voltado para o mercado regional, além de promover uma integração entre empresas e as instituições de ensino e pesquisa. O evento tem o apoio oficial da Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco-FACEPE
A comissão organizadora do evento é formada por professores das três instituições, que contará também com o apoio dos alunos bolsistas e voluntários.
O WESS é um evento satélite do I Simpósio Interinstitucional do Vale do São Francisco (SICOMP 2010), também promovido pelas três IES e que acontece no período de 14 a 16/04/2010. Mais informações nas páginas do WESS (www.wess2010.net) e do SICOMP (www.sicomp.org).

INES papers will be presented at DBKDA and ICN 2010

The papers “Indexing Semi-Structured Data for Efficient Handling of Branching Path Expressions” and “Integrating Communications Paradigms in a Mobile Middleware Product Lines” will be presented respectively at the 2nd International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2010) and at the 9th International Conference on Networks (INC 2010), both co-located events from GlobNet 2010, to be held in French Alpes, France, between 04/11 and 04/16.

The papers are authored by the INES researchers Talles Brito, Thiago Ribeiro and Gledson Elias; and Yuri Morais and Gledson Elias respectively. These papers are related to the INES project “Desenvolvimento Distribuído Orientado a Linhas de Produto de Software”

More information about DBKDA 2010 can be found in: http://www.iaria.org/conferences2010/DBKDA10.html

More information about INC 2010 can be found in: http://www.iaria.org/conferences2010/ICN10.html

INES researchers a project approved by the Brazilian Space Agency (AEB)

A team from the Informatics Centre (CIn/UFPE), coordinated by Dr. Alexandre Mota, had a project accepted by the Brazilian Space Agency (AEB). The project entitled “Model-based security analysis for autonomous systems” is related to the study of reliability for autonomous systems, one of the focus of the current group of Formal Methods at CIn/UFPE. “Since 2007 we have studied and created solutions for the safety and reability area, with support of R&D team at Embraer,” said Mota.

Source: Assessoria CIn/UFPE

The group is coordinated by Dr. Alexandre Mota and composed by Professor Augusto Sampaio, Dr. Juliano Iyoda, former PhD student Adalberto Farias, MSc. Joab Jesus, Master’s students Adriano Gomes and Flávia Soares and ungraduate student Luis Filipe.

More details here.

Dr. Gledson Elias is going to visit UFBA in March

Dr. Gledson Elias from Federal University of Paraiba (UFPB) is going to visit Federal University of Bahia (UFBA) from 10th to 12th March. The visit purpose is to promote the integration of the teams involved in the INES project “Desenvolvimento Distribuído orientado a Linhas de Produtos de Software”.