Roberto Souto Maior de Barros

Research Interests

Research Project

More specifically, the main objective of the project is to provide a professional production-quality set of software tools to support the formal specification of relational database applications and the automatic derivation of database application programs written for at least one well known and widely available Relational Database Management System (RDBMS).

Teaching

• Undergraduate courses:
  • Software engineering.
  • Project of database applications.

• Postgraduate courses:
  • Software engineering -- with Alexandre Vasconcelos.
  • Software engineering tools and environments -- with Alexandre Vasconcelos.

Selected Publications

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