Publications

See also the Software Productivity Group's site.

Sérgio Soares, Eduardo Laureano, and Paulo Borba. Implementing distribution and persistence aspects with AspectJ. In 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA'2002, pages 174-190, Seattle, USA, 4th-8th November 2002.

Sérgio Soares and Paulo Borba. PIP: Progressive implementation pattern. In 1st Workshop on Software Development Process Patterns, 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA'2002, Seattle, USA, 4th-8th November 2002.

Eduardo Aranha and Paulo Borba. Testes e geração de código de sistemas web. In XVI Brazilian Symposium on Software Engineering, pages 114-128, Gramado, Brazil, 14th-18th October 2002.

Sérgio Soares and Paulo Borba. Concurrency control with Java and relational databases. In 26th Annual IEEE Computer Software and Applications Conference, COMPSAC 2002, pages 843-849, Oxford, England, 26th-29th August 2002. IEEE Computer Society Press.

Paulo Borba. Qualidade com Java-como Java dá suporte a software de qualidade. Java Magazine, 1(1):45-47, 2002.

Sérgio Soares and Paulo Borba. PaDA: A Pattern for Distribution Aspects. In Second Latin American Conference on Pattern Languages of Programming, SugarLoafPLoP'2002, pages 87-100, Itaipava, Brazil, 5th-7th August 2002.

Klissiomara Dias and Paulo Borba. Padrões de projeto para estruturação de aplicações distribuídas Enterprise JavaBeans. In Second Latin American Conference on Pattern Languages of Programming, SugarLoafPLoP'2002, pages 55-86, Itaipava, Brazil, 5th-7th August 2002.

Alexandre Mota, Paulo Borba, and Augusto Sampaio. Mechanical abstraction of CSP-Z processes. In 11th Formal Methods Europe, FME'2002, Copenhagen, Denmark, 22nd-24th July 2002.

Sérgio Soares and Paulo Borba. Progressive implementation with aspect-oriented programming. In PhD Workshop, 16th European Conference on Object-Oriented Programming, ECOOP'2002, Málaga, Spain, 10th-14th June 2002.

Marcelo d'Amorim, Clóvis Nogueira, Gustavo Santos, Adeline Souza, and Paulo Borba. Integrating code generation and refactoring. In Workshop on Generative Programming, 16th European Conference on Object-Oriented Programming, ECOOP'2002, Málaga, Spain, 10th-14th June 2002.

Eduardo Aranha and Paulo Borba. Uma linguagem para testes de aceitação de sistemas web. In VI Brazilian Symposium on Programming Languages, pages 128-141, Rio de Janeiro, Brazil, 5th-7th June 2002.

Sérgio Soares and Paulo Borba. AspectJ-programação orientada a aspectos em Java. In VI Brazilian Symposium on Programming Languages, Tutorials, pages 39-55, Rio de Janeiro, Brazil, 5th-7th June 2002.

Eduardo Aranha and Paulo Borba. Web systems acceptance tests and code generation. In Workshop on Testing in XP, Third International Conference on eXtreme Programming and Agile Processes in Software Engineering, XP'2002, Sardinia, Italy, 26th-29th May 2002.

Tiago Massoni, Augusto Sampaio, and Paulo Borba. A RUP-based software process supporting progressive implementation. In 2002 International Conference of the Information Resources Management Association, IRMA'2002, pages 480-483, Seattle, USA, 19th-22nd May 2002.

Tiago Massoni, Augusto Sampaio, and Paulo Borba.  Progressive implementation of aspects. In Workshop on Advanced Separation of Concerns in Object-Oriented Systems, ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, Tampa Bay, USA, 14th-18th October 2001.

Vander Alves and Paulo Borba. An implementation method for distributed object-oriented applications. In XV Brazilian Symposium on Software Engineering, pages 161-176, Rio de Janeiro, Brazil, 3th-5th October 2001.

Fernando Castor, Kellen Oliveira, Adeline Souza, Gustavo Santos, and Paulo Borba. JaTS: A Java transformation system. In XV Brazilian Symposium on Software Engineering, pages 374-379, Rio de Janeiro, Brazil, 3th-5th October 2001.

Sérgio Soares and Paulo Borba. ConcurrencyManager: A design pattern for concurrency control. In First Latin American Conference on Pattern Languages of Programming, Rio de Janeiro, Brazil, 3th-5th October 2001.

Tiago Massoni, Vander Alves, Sérgio Soares, and Paulo Borba. PDC: The persistent data collections pattern. In First Latin American Conference on Pattern Languages of Programming, Rio de Janeiro, Brazil, 3th-5th October 2001.

Gibeon Soares and Paulo Borba. The Web Handlers pattern. In First Latin American Conference on Pattern Languages of Programming, Rio de Janeiro, Brazil, 3th-5th October 2001.

Vander Alves and Paulo Borba. Distributed adapters pattern: A design pattern for object-oriented distributed applications. In First Latin American Conference on Pattern Languages of Programming, Rio de Janeiro, Brazil, 3th-5th October 2001.

Fernando Castor and Paulo Borba. A language for specifying Java transformations. In V Brazilian Symposium on Programming Languages, pages 236-251, Curitiba, Brazil, 23rd-25th May 2001.

Sérgio Soares and Paulo Borba. Controle de concorrência com Java e bancos de dados relacionais. In V Brazilian Symposium on Programming Languages, pages 252-267, Curitiba, Brazil, 23rd-25th May 2001.

Vander Alves and Paulo Borba. A design pattern for distributed applications. In Adriano Souza et al., editors, XIV Brazilian Symposium on Software Engineering--Minicourses and Tutorials, pages 191-219, João Pessoa, Brazil, 2nd-6th October 2000.

Paulo Borba and Augusto Sampaio. Basic laws of ROOL: an object-oriented language. Revista Brasileira de Informática Teórica e Aplicada, VII(1):49-68, September 2000. A shorter version appeared in III Brazilian Workshop on Formal Methods, pages 33-44, João Pessoa, Brazil, 2nd-4th October 2000.

Márcio Cornélio and Paulo Borba. Structuring mechanisms for an object-oriented formal specification language. In W. B. Frakes, editor, 6th International Conference on Software Reuse: Advances in Software Reusability, volume 1844 of Lecture Notes in Computer Science, pages 402-419, Vienna, Austria, 27th-29th June 2000. Springer-Verlag.
 
Paulo Borba, Saulo Araújo, Hednilson Bezerra, Marconi Lima, and Sérgio Soares. Progressive implementation of distributed Java applications. In Engineering Distributed Objects Workshop, ACM International Conference on Software Engineering, pages 40-47, Los Angeles, USA, 17th-18th May 1999.

Euricélia Viana and Paulo Borba. Integrando Java com bancos de dados relacionais. In III Brazilian Symposium on Programming Languages, pages 77-91, Porto Alegre, Brazil, 5th-7th May 1999.

Paulo Borba. Where are the laws of object-oriented programming? In I Brazilian Workshop on Formal Methods, pages 59-70, Porto Alegre, Brazil, 19th-21st October 1998.

Márcio Cornélio and Paulo Borba. Design of an object-oriented formal specification language. In I Brazilian Workshop on Formal Methods, pages 94-99, Porto Alegre, Brazil, 19th-21st October 1998.

Paulo Borba. Métodos formais: A diferença entre o pedreiro e o engenheiro. Informática Brasileira em Análise, 1(9), January 1998. Also appeared as ``Vantagens dos Métodos Formais'', Diário de Pernambuco, 26th February 1998, Recife, Brazil.
 
Paulo Borba. Systematic development of concurrent object-oriented programs. In Rance Cleaveland, Michael Mislove, and Philip Mulry, editors, US-Brazil Joint Workshops on the Formal Foundations of Software Systems, volume 14 of Electronic Notes in Theoretical Computer Science. Rio de Janeiro, Brazil, 5-9th May, 1997, and New Orleans, USA, 13-16th November, 1997, published in 1998.
 
Débora Aranha and Paulo Borba. Parameterized packages and Java. In II Brazilian Symposium on Programming Languages, pages 204-218, Campinas, Brazil, 3-5th September 1997.
 
Paulo Borba and Silvio Meira. A system for translating executable VDM specifications into Lazy ML. Software-Practice & Experience, 27(3):271-289, March 1997. (Preprint)
 
Paulo Borba. A refinement theory for concurrent object oriented languages. In X Brazilian Symposium on Software Engineering, pages 39-55, São Carlos, Brazil, 15-18th October 1996.
 
Paulo Borba. States as specifications. In I Brazilian Symposium on Programming Languages, pages 223-236, Belo Horizonte, Brazil, 4-6th September 1996.
 
Paulo Borba and Joseph Goguen. Refinement of Concurrent Object Oriented Programs. In Stephen Goldsack and Stuart Kent, editors, Formal Methods and Object Technology, Chapter 11. Springer-Verlag, 1996. Also appeared as Technical Report TR-18-95, Oxford University, Computing Laboratory, Programming Research Group, November 1995.
 
Paulo Borba. Semantics and Refinement for a Concurrent Object Oriented Language. PhD thesis, Oxford University, Computing Laboratory, Programming Research Group, July 1995.
 
Paulo Borba and Joseph Goguen. An operational semantics for FOOPS. In Roel Wieringa and Remco Feenstra, editors, International Workshop on Information Systems-Correctness and Reusability, IS-CORE'94, pages 271-285. Vrije Universiteit, Amsterdam, September 1994. A longer version appeared as Technical Monograph PRG-115, Oxford University, Computing Laboratory, Programming Research Group, November 1994.
 
Paulo Borba and Silvio Meira. From VDM specifications to functional prototypes. Journal of Systems and Software, 21(3):267-78, June 1993. (Preprint)

Paulo Borba, Silvio Meira, and André Santos. Prototyping action semantics using functional languages. In CLEI'92, Latin American Conference on Computer Science, pages 176-183, Canary Islands, Spain, September 1992.

Paulo Borba and Silvio Meira. From model based specifications to functional prototypes. In IEEE TENCON'91 Session on Rapid Prototyping with Functional Programming Languages, New Delhi, India, August 1991.

Paulo Borba. De especificações formais para protótipos funcionais. Master's thesis, Departamento de Informática, Universidade Federal de Pernambuco, Recife, Brazil, July 1991.

Paulo Borba and Silvio Meira. Tradução de tipos de especificação para protótipo. In IV Simpósio Brasileiro de Engenharia de Software, pages 1-13, São Carlos, Brazil, October 1990.

Paulo Borba and Silvio Meira. Protótipos funcionais a partir de especificações formais em VDM. In III Simpósio Brasileiro de Engenharia de Software, pages 171-184, Recife, Brazil, October 1989.

Paulo Borba and Silvio Meira. Notação VDM executável em Standard ML. In IX Congresso da Sociedade Brasileira de Computação, pages 205-220, Uberlândia, Brazil, July 1989.

David Carraher, Paulo Borba, and André Santos. Acesso a um banco de dados através de linguagem natural. In IV Simpósio Brasileiro de Inteligência Artificial, pages 217-224, Uberlândia, Brazil, October 1987.

Home Page Research Projects Publications Courses Software Consulting Services Seminars Biography Useful Links DI-UFPE