| 2008 |
|---|
| 36 | EE | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
Formal Model-Driven Program Refactoring.
FASE 2008: 362-376 |
| 35 | EE | Eduardo Aranha,
Paulo Borba:
Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach.
ICSP 2008: 282-293 |
| 34 | EE | Márcio de M. Ribeiro,
Pedro Matos Jr.,
Paulo Borba:
A decision model for implementing product lines variabilities.
SAC 2008: 276-277 |
| 33 | EE | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.
Electr. Notes Theor. Comput. Sci. 195: 189-209 (2008) |
| 2007 |
|---|
| 32 | EE | Sérgio Soares,
Paulo Borba,
Ricardo Lima:
Concurrency Control Modularization with Aspect-Oriented Programming.
COMPSAC (1) 2007: 295-300 |
| 31 | EE | Phil Greenwood,
Thiago T. Bartolomei,
Eduardo Figueiredo,
Marcos Dósea,
Alessandro F. Garcia,
Nélio Cacho,
Cláudio Sant'Anna,
Sérgio Soares,
Paulo Borba,
Uirá Kulesza,
Awais Rashid:
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study.
ECOOP 2007: 176-200 |
| 30 | EE | Eduardo Aranha,
Paulo Borba:
An Estimation Model for Test Execution Effort.
ESEM 2007: 107-116 |
| 29 | EE | Sérgio Soares,
Paulo Borba:
Towards reusable and modular aspect-oriented concurrency control.
SAC 2007: 1293-1294 |
| 28 | EE | Rohit Gheyi,
Tiago Massoni,
Paulo Borba:
A Static Semantics for Alloy and its Impact in Refactorings.
Electr. Notes Theor. Comput. Sci. 184: 209-233 (2007) |
| 2006 |
|---|
| 27 | EE | Vander Alves,
Rohit Gheyi,
Tiago Massoni,
Uirá Kulesza,
Paulo Borba,
Carlos José Pereira de Lucena:
Refactoring product lines.
GPCE 2006: 201-210 |
| 26 | EE | Uirá Kulesza,
Vander Alves,
Alessandro F. Garcia,
Carlos José Pereira de Lucena,
Paulo Borba:
Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming.
ICSR 2006: 231-245 |
| 25 | EE | Eduardo Aranha,
Paulo Borba,
José Lima:
Model Simulation for Test Execution Capacity Estimation.
ISSRE 2006: 231-236 |
| 24 | EE | Sérgio Soares,
Paulo Borba,
Eduardo Laureano:
Distribution and persistence as aspects.
Softw., Pract. Exper. 36(7): 711-759 (2006) |
| 2005 |
|---|
| 23 | EE | Leonardo Cole,
Paulo Borba:
Deriving refactorings for AspectJ.
AOSD 2005: 123-134 |
| 22 | EE | Rohit Gheyi,
Tiago Massoni,
Paulo Borba:
A rigorous approach for proving model refactorings.
ASE 2005: 372-375 |
| 21 | EE | Vander Alves,
Ivan Cardim,
Heitor Vital,
Pedro H. M. Sampaio,
Alexandre L. G. Damasceno,
Paulo Borba,
Geber Ramalho:
Comparative Analysis of Porting Strategies in J2ME Games.
ICSM 2005: 123-132 |
| 20 | EE | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
A model-driven approach to formal refactoring.
OOPSLA Companion 2005: 124-125 |
| 19 | EE | Vander Alves,
Pedro Matos Jr.,
Leonardo Cole,
Paulo Borba,
Geber Ramalho:
Extracting and Evolving Mobile Games Product Lines.
SPLC 2005: 70-81 |
| 18 | EE | Rohit Gheyi,
Tiago Massoni,
Paulo Borba:
An Abstract Equivalence Notion for Object Models.
Electr. Notes Theor. Comput. Sci. 130: 3-21 (2005) |
| 2004 |
|---|
| 17 | EE | Leonardo Cole,
Paulo Borba:
Deriving refactorings for aspectJ.
OOPSLA Companion 2004: 202-203 |
| 16 | EE | Augusto Sampaio,
Paulo Borba:
Transformation Laws for Sequential Object-Oriented Programming.
PSSE 2004: 18-63 |
| 15 | EE | Ayla Dantas,
Joseph W. Yoder,
Paulo Borba,
Ralph E. Johnson:
Using Aspects to Make Adaptive Object-Models Adaptable.
RAM-SE 2004: 9-19 |
| 14 | EE | Rohit Gheyi,
Paulo Borba:
Refactoring Alloy Specifications.
Electr. Notes Theor. Comput. Sci. 95: 227-243 (2004) |
| 13 | | Carlos Andrade,
André Santos,
Paulo Borba:
AspectH: Uma Extensão Orientada a Aspectos de Haskel.
RITA 11(2): 21-32 (2004) |
| 12 | EE | Paulo Borba,
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio:
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program. 52: 53-100 (2004) |
| 2003 |
|---|
| 11 | EE | Paulo Borba,
Augusto Sampaio,
Márcio Cornélio:
A Refinement Algebra for Object-Oriented Programming.
ECOOP 2003: 457-482 |
| 10 | EE | Sérgio Soares,
Paulo Borba:
Aspect-oriented implementation method: progressive or non-progressive approach?
OOPSLA Companion 2003: 128-129 |
| 9 | EE | Ayla Dantas,
Paulo Borba:
Developing Adaptive J2ME Applications Using AspectJ.
J. UCS 9(8): 935-955 (2003) |
| 2002 |
|---|
| 8 | EE | Sérgio Soares,
Paulo Borba:
Concurrency Control with Java and Relational Databases.
COMPSAC 2002: 843-849 |
| 7 | EE | Alexandre Mota,
Paulo Borba,
Augusto Sampaio:
Mechanical Abstraction of CSPZ Processes.
FME 2002: 163-183 |
| 6 | EE | Sérgio Soares,
Eduardo Laureano,
Paulo Borba:
Implementing distribution and persistence aspects with aspectJ.
OOPSLA 2002: 174-190 |
| 2000 |
|---|
| 5 | | Márcio Cornélio,
Paulo Borba:
Structuring Meachanisms for an Object-Oriented Formal Specification Language.
ICSR 2000: 402-419 |
| 4 | | Paulo Borba,
Augusto Sampaio:
Basic Laws of ROOL: an object-oriented language.
RITA 7(1): 49-68 (2000) |
| 1998 |
|---|
| 3 | EE | Paulo Borba:
Systematic Development of Concurrent Object-Oriented Programs.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1997 |
|---|
| 2 | | Paulo Borba,
Silvio Romero de Lemos Meira:
A System for Translating Executable VDM Specifiactions into Lazy ML.
Softw., Pract. Exper. 27(3): 271-289 (1997) |
| 1993 |
|---|
| 1 | EE | Paulo Borba,
Silvio Romero de Lemos Meira:
From VDM specifications to functional prototypes.
Journal of Systems and Software 21(3): 267-278 (1993) |
