INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2017
M T W T F S S
« Nov    
 123
45678910
11121314151617
18192021222324
252627282930  

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

Leave a Reply

You must be logged in to post a comment.