INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

March 2010
M T W T F S S
« Feb   Apr »
1234567
891011121314
15161718192021
22232425262728
293031  

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

    (0)
    Publicado em March 28th, 2010News

    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

    (0)
    Publicado em March 27th, 2010News

    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

    (0)
    Publicado em March 22nd, 2010Uncategorized

    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

    (0)
    Publicado em March 21st, 2010News, Uncategorized
    Professor Nenad Medvidović, director of USC Center for Systems and Software Engineering (CSSE),  visits the Software Engineering Laboratory (LES), UFBA from July 30 till August 21, 2010.

    The long-term, recurring theme and goal of Prof. Nenad’s research is the  development and evolution of large and complex software systems, that can be adaptable and reliableHis main research hypothesis is that an explicit focus in software architecture can tame several difficulties related to the construction and evolution of large software systems.

    During his visit, in the context of the project “Modelos, Técnicas e Ferramentas para Evolução de Software”, professor Nenad will present talks about software architecture, discuss opportunities for international cooperation and contribute to  ongoing research related to the above project.

    Professor Nenad will be the co-chair of ICSE 2011.

    , , ,
  • INES at OSS 2010 Doctoral Consortium

    (0)
    Publicado em March 18th, 2010News

    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

    (0)
    Publicado em March 18th, 2010News

    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

    (0)
    Publicado em March 17th, 2010News

    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

    (0)
    Publicado em March 16th, 2010News, Publications

    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)

    (0)
    Publicado em March 9th, 2010News

    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

    (0)
    Publicado em March 5th, 2010News

    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”.