INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2009
M T W T F S S
« Oct   Dec »
 1
2345678
9101112131415
16171819202122
23242526272829
30  

 
  • Reform of the Laboratory of INES in CIN/UFPE

    (0)
    Publicado em November 27th, 2009About the Institute, News

    The project “Software Productivity Laboratory Network ” reform Laboratory of Software Engineering group in CIn/UFPE

    The reform would benefit all projects of INES that run on the CIn.

  • 1st INES internal evaluation meeting

    (0)
    Publicado em November 24th, 2009Uncategorized

    On Friday 11th Dec 2009 from 9h to 17h at C.E.S.A.R, will be held the first INES internal evaluation meeting. At this meeting the coordinators of the sub-projects or designated representatives, will present the partial results achieved since March/2009. The internal meeting anticipates the evaluation of the first year to be made by CNPq in March/2010.

    In addition to the coordinators, we expect the participation of the Steering Committee members as well as any researchers involved in INES.

  • INES no ABZ 2010

    (0)
    Publicado em November 23rd, 2009Uncategorized

    O INES, através de pesquisadores do projeto “Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real”, marcará presença no ABZ 2010, a conferência internacional sobre ASM, Alloy, B e Z, quatro dos principais métodos rigorosos de desenvolvimento de software. Na trilha sobre o método B, dois artigos completos e um resumo foram aceitos para apresentação no evento, que ocorrerá em Orford, Canadá, e publicação nos anais, através da editora Springer. São eles:

    • Applying the B method for the Rigorous Development of Smart Card Applications, de autoria de Bruno Gomes (UFRN), Anamaria Moreira (UFRN), David Déharbe (UFRN) e Kátia Oliveira (Petrobrás) [artigo completo].
    • Automatic verification for a class of proof obligations with SMT-solvers, de autoria David Déharbe (UFRN) [artigo completo].
    • Integrating SMT-solvers in Z and B Tools, de autoria Alessandro Gurgel (UFRN), Valério Medeiros Jr (IFRN), Marcel Oliveira (UFRN) e David Déharbe (UFRN) [resumo].