INES - National Institute of Science and Technology for Software Engineering

RSS feed


October 2014
« Sep    

  • 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.
  • INES at SMC 2014

    Publicado em August 30th, 2014Uncategorized
    Prof. George Cabral, researcher at INES, will attend the IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS to present the paper entitled “One-class Classification for Heart Disease Diagnosis”. The research analyzed the application of One-class Classification techniques to model and isolate the class of healthy patients aiming todetect unknown cases. The conference will be held on 5-8 October 2014, in San Diego CA, USA.
  • INES at ICSEA 2014

    Publicado em August 27th, 2014Publications

    Prof. Teresa Maciel, researcher at INES, will participate of the “The Ninth International Conference on Software Engineering Advances - ICSEA 2014″ (October, in Nice, France) to present the paper entitled “A Guideline for Supporting Agile Process Assessments” .