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  

 
  • 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].