[ 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:
- Graduação:
- Posgraduação:
- Engenharia de software -- com Alexandre Vasconcelos.
- Ambientes e ferramentas de software -- com Alexandre Vasconcelos.
Publicações mais relevantes
- R. S. M. Barros.
`
On the Formal Specification and Derivation of Relational Database
Applications'. Electronic Notes in Theoretical Computer
Science, Volume 14, Elsevier Science B. V., 1998.
-
W. R. Oliveira and R. S. M. Barros.
`
The Real Numbers in Z'.
In A. Evans and D. Duke (eds.),
Second BCS-FACS Northern Formal Methods Workshop,
Electronic Workshops in Computing, Springer-Verlag, July 1997.
- R. S. M. Barros.
`On
the Formal Specification and Derivation of Relational Database
Applications'.
Ph.D. Thesis, Department of Computing Science, The University of Glasgow,
November, 1994.
- R. S. M. Barros.
`Deriving
Relational Database Programs from Formal Specifications'.
In M. Naftalin, T. Denvir, and M. Bertran (eds.),
FME'94: Industrial Benefit of Formal Methods,
volume 873 of Lecture Notes in Computing Science, pages 703-723.
Springer-Verlag, October 1994.
Roberto S. M. Barros ..... E-mail:
roberto@cin.ufpe.br