Roberto Souto Maior de Barros

Áreas de Interesse

Projeto de Pesquisa

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

• Graduação:
  • Engenharia de software.
  • Projeto de Banco de Dados.

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