INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2011
M T W T F S S
« Jul   Sep »
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • INES at SBCARS 2011

    (0)
    Publicado em August 10th, 2011Uncategorized

    The INES project will be present in the Brazilian Symposium on Software Components, Architectures and Reuse – SBCARS 2011 –  through the regular paper
    “Diretrizes para Modelagem Independente de Plataforma de Sistemas de Tempo Real Usando UML”, authored by Everton L. G. Alves, Patrícia D. L. Machado and Franklin S. Ramalho.

    This work was developed inside the project Combining Formal Methods and Testing to Develop Embedded Real Time Systems — in Portuguese, Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real.

  • INES at SAST 2011

    (0)
    Publicado em August 10th, 2011Uncategorized

    The INES project will be present in 5th Brazilian Workshop on Systematic and Automated Software Testing (SAST)  through the regular paper
    “WSA-RT: Uma Técnica para a Seleção de Casos de Teste de Regressão baseados em Especificação”, authored by Francisco G. Oliveira Neto e Patrícia D. L. Machado.

    This work was developed inside the project Combining Formal Methods and Testing to Develop Embedded Real Time Systems — in Portuguese, Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real.

     

  • INES at CBSoft 2011

    (0)
    Publicado em August 10th, 2011Uncategorized

    Profa. Leila Silva will participate of the Brazilian Conference on Software: Theory and Practice (CBSoft), as a member of the steering committee.