[ Versão em Português disponível ]

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.

Research Interests

My main research interests include software engineering, databases, CASE tools and environments, formal specifications, and programming languages.

Research Project

My main research project investigates the utilization of formal techniques for the development of relational database applications.

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


Nowadays I am regularly lecturing the following courses:

Selected Publications

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