INES – National Institute of Science and Technology for Software Engineering

Reform of the Laboratory of INES in CIN/UFPE

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

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

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