INES – National Institute of Science and Technology for Software Engineering

RSS feed


September 2014
« Aug   Oct »

  • UFCG acquires office material

    Publicado em September 30th, 2014Expenses

    The Making program refactoring evolution safer project acquires office material.

  • INES – UFPE researcher at SBBD 2014

    Publicado em September 26th, 2014Uncategorized

    Prof. Maria da Conceição Moraes Batista will attend SBBD 2014 in Curitiba from 06 October to 09 October.

  • UFCG acquires equipment for Experiments

    Publicado em September 24th, 2014Uncategorized

    The Software Productivity Laboratory (SPLAB), research laboratory at UFCG associated to INES, acquired a MacBook Pro, Display and accessories.

  • INES – UFPE researcher at CBSoft 2014

    Publicado em September 23rd, 2014Uncategorized

    Prof. Márcio Lopes Cornélio, member of some CBSoft 2014 program comittees (SBMF, and CBSoft Tools) will attend CBSoft 2014 in Maceió from 28 September to 01 October. This activity is part of the project “Making Program Evolution Safer”.

  • Gledson Elias is going to visit UFS

    Publicado em September 17th, 2014Uncategorized

    Prof. Gledson Elias is going to visit Prof. Leila Silva in the third week of September to work in the project  “Investigating Algorithms, Techniques and Tools for Search Based Software Engineering” — in portuguese, Investigando Algoritmos, Técnicas e Ferramentas para Engenharia de Software Baseada em Buscas.

  • ForAll/UFRN Acquires New Software License for Prezi

    Publicado em September 15th, 2014Uncategorized

    The ForAll/UFRN aquired a Prezi 1-yr license.

  • INES at SPLASH 2014

    Publicado em September 14th, 2014Uncategorized

    The short paper “Enhancing Conformance Checking for Contract-Based Programs” by Alysson Milanez, Tiago Massoni and Rohit Gheyi has been accepted for publication at the 2014 SPLASH CONFERENCE. The event will be held in Oct 20th – 24th, 2014 at Portland, OR, US. This activity is part of the project “Program Refactoring for Migrating between Data Structures”.

  • ForAll UFRN Acquires iMac

    Publicado em September 11th, 2014Uncategorized

    The Formal Methods and Languages Laboratory, research laboratory at UFRN associated to INES, acquired an iMac.

  • INES member to collaborate with SONY CSL Paris

    Publicado em September 8th, 2014Uncategorized
    Giordano Cabral, technical leader of the INES project New Application for Audio Monitoring, is invited to visit SONY Computer Science Lab in Paris ( to discuss a technical collaboration in the domain of audio and music information retrieval. SONY CSL is one of the world leaders in the field, has already developed cutting edge technology for automatic extraction of audio descriptors, such as the EDS project (
    The visit aims to extend the collaboration of the brazilian community and SONY’s director, François Pachet. The expertise and partnership of SONY researchers is essential to the fulfillment of the project goals.
  • INES at ICFEM 2014

    Publicado em September 5th, 2014Uncategorized
    Gustavo Carvalho, researcher at INES, will attend the 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS (ICFEM 2014) to present the paper entitled: “A Formal Model for Natural-Language Timed Requirements of Reactive Systems”. The conference will be held in Luxembourg, Luxembourg from 3rd November to 7th November 2014.
    This activity is part of the project “Reliability and Safety in Critical Software”. More details about the publication: CARVALHO, G.; CARVALHO, A.; ROCHA, E.; SAMPAIO, A.; CAVALCANTI, A.. A Formal Model for Natural-Language Timed Requirements of Reactive Systems. In: International Conference on Formal Engineering Methods, 2014, Luxembourg.