INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2015
M T W T F S S
« Jul   Sep »
 12
3456789
10111213141516
17181920212223
24252627282930
31  

 
  • INES at ICTSS 2015

    (0)
    Publicado em August 31st, 2015Expenses, Uncategorized

    Cleverton Hentz Antunes, PhD student at the ForAll Group (INES-UFRN), will present the paper   “Reducing the Cost of Grammar-based Testing  using Pattern Coverage” at the 27th International Conference on Testing Software and Systems (ICTSS 2015). The paper is a result of the research carried out during his PhD sandwich in CWI-Amsterdam.

  • INES, ASSERT & CIn/UFPE researchers at CBSoft 2015

    (0)
    Publicado em August 28th, 2015Projects

    Prof. Vinicius Cardoso Garcia (CIn/UFPE) together with graduate and undergraduate students will attend the Brazilian Conference on Software: Theory and Practice (CBSoft 2015), one of the major events held annually by the Brazilian Computer Society.

    The congress will take place in Belo Horizonte, Minas Gerais, Brazil from the September, 21st to September, 25th of 2015.

    This activity is part of the project “Social Machines and Research Team - SMaRT” and is one of the results of the research being done by ASSERT Lab.

    , , , ,
  • INES at VEM and CBSoft 2015

    (0)
    Publicado em August 24th, 2015Publications
    The paper “Software Evolution Sonification” was accepted for publication at the 3rd Workshop on Software Visualization, Maintenance, and Evolution (VEM 2015), co-located with the Brazilian Conference on Software: Theory and Practice (CBSoft 2015). CBSoft will be held in Belo Horizonte (Brazil), from 21 to 25 September 2015.
    This activity is part of the project  “Evidence-based Software Engineering” — in portuguese, Engenharia de Software Baseada em Evidências.
    More details about the publication: Pedro O. Raimundo, Sandro S. Andrade, and Renato Novais. Software evolution sonification. In III Workshop de Visualização, Evolução e Manutenção de Software (VEM), pages 1-8, 2015.
  • UFCG is improving laboratory

    (0)
    Publicado em August 18th, 2015Uncategorized

    The project “Making Program Evolution Safer” is acquiring new chairs, TV and improving its laboratory at UFCG.

  • INES at 7th International Workshop on Managing Technical Debt (MTD 2015)

    (0)
    Publicado em August 18th, 2015Publications

    INES researchers members from the project “Evidence-Based Software Engineering” - in portuguese, “Engenharia de Software Baseada em Evidências” - has an accepted paper at 7th International Workshop on Managing Technical Debt (MTD) – In conjunction with ICSME 2015.

    Authors: Mário André de F. Farias, André Batista da Silva, Manoel Mendonça, Rodrigo Oliveira Spínola

    Title: A Contextualized Vocabulary Model for Identifying Technical Debt on Code Comments

    , ,
  • INES at ONTOBRAS 2015

    (0)
    Publicado em August 11th, 2015Uncategorized

    The paper “EDXL-RESCUER ontology: an update based on Faceted Taxonomy approach” was accepted for publication at Ontobras - Brazilian Ontology Research Seminar (ONTOBRAS 2015).

    This activity is part of the project “Using Expert Finding techniques to design context-sensitive bug tracking systems”.

    The seminar will take place in São Paulo, SP, Brazil from the September, 8th to September, 11th of 2015.

  • INES at VEM and CBSoft 2015

    (0)
    Publicado em August 11th, 2015Publications

    INES will be present at the 3rd Workshop on Software Visualization, Maintenance, and Evolution (VEM 2015), co-located with the Brazilian Conference on Software: Theory and Practice (CBSoft 2015). CBSoft will be held in Belo Horizonte (Brazil), from 21 to 25 September 2015. The following research members from the “Concern-Driven Measurement of Software Modularity” project will attend the workshop and the conference:

    Elienai Batista, Bruno Silva, Marcos Dósea and Cláudio Sant’Anna.

    Elienai and Cláudio had the following paper accepted on the workshop:
    Title: Avaliação Experimental da Relação entre Coesão e o Esforço de Compreensão de Programas: Um Estudo Preliminar.

  • INES at ACM RACS 2015

    (0)
    Publicado em August 7th, 2015News, Publications

    The paper “The Importance of Replications in Software Engineering – A Case Study in Defect Prediction” was accepted for publication at ACM Conference on Research in Adaptive and Convergent Systems (ACM RACS 2015).

    This activity is part of 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.

    More details about the publication: Siebra, C. A. and Mello, M. A. B. The Importance of Replications in Software Engineering – A Case Study in Defect Prediction. ACM Conference on Research in Adaptive and Convergent Systems (ACM RACS 2015). Prague, Czech Republic, 2015.

  • INES Graduate Student presents his work at CBSoft 2015 - Tools

    (0)
    Publicado em August 5th, 2015Publications

    Graduate student, and MSc candidate, Vítor Alcântara de Almeida will attend CBSoft 2015 and present the paper to the Tools Session:

    “WPTrans: Um assistente para Verificacão de Programas no Frama-C”

    Authors: David Deharbe, Richard Bonichon, Vitor Almeida

    Abstract. This article describes the early stage of WPTrans: an extension to Frama-C and WP. This extension enable to manually help automated theorem provers by manipulating generated proof obligations. This gives yet another bullet to prove program correctness.

  • INES at CBSoft 2015

    (0)
    Publicado em August 4th, 2015Uncategorized

    The following INES members will attend the Brazilian Conference on Software: Theory and Practice (CBSoft 2015), one of the major events held annually by the Brazilian Computer Society.

    - Marcel Vinicius Medeiros Oliveira (DIMAp/UFRN)

    The congress will take place in Belo Horizonte, Minas Gerais, Brazil from the September, 21st to September, 25th of 2015.