[ English version available ]

Roberto Souto Maior de Barros

Ph.D., Glasgow, 1994.
Professor Associado 1.
Centro de Informática
Universidade Federal de Pernambuco
Caixa Postal 7851, Cidade Universitária, 50.732-970, Recife-PE.

Áreas de Interesse

Minhas principais áreas de interesse incluem Engenharia de Software, Bancos de Dados, Ambientes e ferramentas CASE, Especificações formais, e Linguagens de Programação.

Projeto de Pesquisa

O meu principal projeto de pesquisa investiga a utilização de técnicas formais no desenvolvimento de aplicações de Bancos de Dados Relacionais.

Mais especificamente, o principal objetivo do projeto é fornecer um conjunto de ferramentas de software para auxiliar na especificação formal destas aplicações e para derivar automaticamente programas de aplicação relacionais escritos para pelo menos um Sistema de Gerenciamento de Bancos de Dados (SGBD) relacional bem estabelecido.

Ensino

Atualmente leciono regularmente as seguintes disciplinas:

Publicações mais relevantes


Roberto S. M. Barros ..... E-mail: roberto@cin.ufpe.br