INES – National Institute of Science and Technology for Software Engineering

UFRN/Forall at the 13th International Conference on Web Engineering (ICWE’13)

The paper “Automatic Refinement of Service Compositions” by Umberto Costa (DIMAp-UFRN), Mirian Halfeld Ferrari (LIFO-Université d’Orléans, France), Martin Musicante (DIMAp-UFRN) and Sophie Robert (LIFO-Université d’Orléans, France) has been accepted for publication at the 13th International Conference on Web Engineering (ICWE’13). The conference will be held on 8-12 July 2013, in Aalborg, Denmark. The INES researcher Umberto Costa will attend the conference and present this work.

UFRN/ForAll hires Visiting Scientist

Richard Bonichon, on leave from CEA-LIST, will be hired as a Visiting Scientist at UFRN, where he will develop research at the INES-sponsored laboratory ForAll. Richard Bonichon is a developer of the Frama-C static analysis tool and a specialist in the automatic analysis and verification of concurrent programs using abstract interpretation and model checking.

ForAll/UFRN Acquires New Software Licenses

The ForAll/UFRN aquired a Microsoft Office 365 1-yr license.

INES @ ICSE’13 / WETSoN’13

INES Researchers André Santos, Sérgio Soares, Juliana Saraiva, Eduardo Almeida and Roberta Coelho will attend ICSE’13. Sérgio and Juliana will also attend WETSoN’13: 4th International Workshop on Emerging Trends in Software Metrics, to present the following paper

Juliana Saraiva, Sergio Soares, Fernando Castor. Towards a Catalog of Object-Oriented Software Maintainability Metrics.