INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2013
M T W T F S S
« Jul   Sep »
 1234
567891011
12131415161718
19202122232425
262728293031  

 
  • UFS Research at WESB 2013

    (0)
    Publicado em August 1st, 2013Uncategorized

    Prof. Leila Silva will present the paper Using Hill Climbing to Identify Similar Software Components at WESB 2013. This activity is part of the project “Desenvolvimento Distribuído Orientado a Linhas de Produtos de Software”.

  • UFRN researchers at LAFM 2013

    (0)
    Publicado em August 1st, 2013Uncategorized

    Professor Anamaria Martins Moreira and PhD student Valério Gutemberg de Medeiros Júnior will present their respective work LAFM 2013 (Latin American Workshop in Formal Methods), a joint event with CONCUR 13, to be held on August 26th, in Buenos Aires – Argentina. This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

  • UFRN Researcher participates at RDP 2013

    (0)
    Publicado em August 1st, 2013Expenses

    Anamaria Martins Moreira, INES member from DIMAp/UFRN, attended one day of activities of RDP 2013 (International Conference on Rewriting Deduction and Programming), including a presentation by Simon Peyton Jones, at the Technical University of Eindhoven. This activity is part of the project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems.

  • UFRN researchers at CBSoft 2013

    (0)
    Publicado em August 1st, 2013Expenses, Publications

    PhD student Ernesto Cid Brasil de Matos will present the BETA tool for unit test generation from formal B models at CBSoft 2013. Prof. Anamaria Martins Moreira, supervisor and responsible of this year’s workshop selection and member of some CBSoft 2013 program comittees, will also be there. This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

    In another line of work on testing, Viviane de Menezes Ramalho, master student supervised by Anamaria,  will present at SAST 2013 (CBSoft satellite workshop) the paper Application of a syntax-based testing method and tool to software product lines.