Paulo Borba

According to our database, Paulo Borba authored at least 138 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Detecting semantic conflicts with unit tests.

Léuson M. P. da Silva, Paulo Borba, Toni Maciel, Wardah Mahmood, Thorsten Berger, João Moisakis, Aldiberg Gomes, Vinícius Leite

J. Syst. Softw., 2024

Semistructured Merge with Language-Specific Syntactic Separators.

Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jônatas Clementino

CoRR, 2024

Using Information Flow to estimate interference between developers same method contributions.

Roberto Souto Maior de Barros, Paulo Borba

CoRR, 2024

Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos.

Toni Maciel, Paulo Borba, Léuson M. P. da Silva, Thaís Alves Burity Pereira

Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024

Refinando a Precisão da Detecção de Conflitos: Uma Análise do CSDiff com Abordagem Focalizada.

Felipe Araújo, Paulo Borba, Guilherme Cavalcanti

Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024

Lightweight Semantic Conflict Detection with Static Analysis.

Galileu Santos de Jesus, Paulo Borba, Rodrigo Bonifácio, Matheus Barbosa de Oliveira

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

Using acceptance tests to predict merge conflict risk.

Thaís Rocha, Paulo Borba

Empir. Softw. Eng., March, 2023

Detecting Semantic Conflicts using Static Analysis.

Galileu Santos de Jesus, Paulo Borba, Rodrigo Bonifácio, Matheus Barbosa de Oliveira

CoRR, 2023

2022

Leveraging Structure in Software Merge: An Empirical Study.

Georg Seibt, Florian Heck, Guilherme Cavalcanti, Paulo Borba, Sven Apel

IEEE Trans. Software Eng., 2022

Build conflicts in the wild.

Léuson M. P. da Silva, Paulo Borba, Arthur Pires

J. Softw. Evol. Process., 2022

The Private Life of Merge Conflicts.

Marcela Cunha, Paola R. G. Accioly, Paulo Borba

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

Semantic conflict detection with overriding assignment analysis.

Matheus Barbosa de Oliveira, Paulo Borba, Rodrigo Bonifácio, Galileu Santos

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

2021

Textual merge based on language-specific syntactic separators.

Jônatas Clementino, Paulo Borba, Guilherme Cavalcanti

Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Semi-Automated Test-Case Propagation in Fork Ecosystems.

Mukelabai Mukelabai, Thorsten Berger, Paulo Borba

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

2020

Privacy and security constraints for code contributions.

Rodrigo Andrade, Paulo Borba

Softw. Pract. Exp., 2020

Understanding predictive factors for merge conflicts.

Klissiomara L. Dias, Paulo Borba, Marcos Barreto

Inf. Softw. Technol., 2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws.

Leopoldo Teixeira, Rohit Gheyi, Paulo Borba

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Detecting Semantic Conflicts via Automated Behavior Change Detection.

Léuson M. P. da Silva, Paulo Borba, Wardah Mahmood, Thorsten Berger, João Moisakis

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

Partially safe evolution of software product lines.

Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira

J. Syst. Softw., 2019

Using acceptance tests to predict files changed by programming tasks.

Thaís Rocha, Paulo Borba, João Pedro Santos

J. Syst. Softw., 2019

Improving the prediction of files changed by programming tasks.

João Pedro Santos, Thaís Rocha, Paulo Borba

Proceedings of the XIII Brazilian Symposium on Software Components, 2019

Semistructured Merge in JavaScript Systems.

Alberto Trindade Tavares, Paulo Borba, Guilherme Cavalcanti, Sérgio Soares

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

The Impact of Structure on Software Merging: Semistructured Versus Structured Merge.

Guilherme Cavalcanti, Paulo Borba, Georg Seibt, Sven Apel

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Detecting Overly Strong Preconditions in Refactoring Engines.

Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira

IEEE Trans. Software Eng., 2018

Understanding semi-structured merge conflict characteristics in open-source Java projects.

Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti

Empir. Softw. Eng., 2018

Analyzing conflict predictors in open-source Java projects.

Paola R. G. Accioly, Paulo Borba, Léuson M. P. da Silva, Guilherme Cavalcanti

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract).

Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Empirical assessment of two approaches for specifying software product line use case scenarios.

Rodrigo Bonifácio, Paulo Borba, Cristiano Ferraz, Paola R. G. Accioly

Softw. Syst. Model., 2017

Evaluating and improving semistructured merge.

Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly

Proc. ACM Program. Lang., 2017

An idiom to represent data types in Alloy.

Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro

Inf. Softw. Technol., 2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines.

Marco Couto, Paulo Borba, Jácome Cunha, João Paulo Fernandes, Rui Pereira, João Saraiva

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Should we replace our merge tools?

Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Assessing fine-grained feature dependencies.

Iran Rodrigues, Márcio Ribeiro, Flávio Medeiros, Paulo Borba, Baldoino Fonseca, Rohit Gheyi

Inf. Softw. Technol., 2016

Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel.

Leonardo Teixeira Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba, Jianmei Guo

Empir. Softw. Eng., 2016

Assessing Idioms for a Flexible Feature Binding Time.

Rodrigo Andrade, Márcio Ribeiro, Henrique Rebêlo, Paulo Borba, Vaidas Gasiunas, Lucas Satabin

Comput. J., 2016

Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems.

Silvio Romero de Lemos Meira, Vanilson Arruda Burégio, Paulo Borba, Vinicius Cardoso Garcia, Jones O. Albuquerque, Sérgio Soares

Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios.

Fernando Benbassat, Paulo Borba, Leopoldo Teixeira

Proceedings of the 2016 X Brazilian Symposium on Software Components, 2016

2015

Safe evolution templates for software product lines.

Laís Neves, Paulo Borba, Vander Alves, Lucinéia Turnes, Leopoldo Teixeira, Demóstenes Sena, Uirá Kulesza

J. Syst. Softw., 2015

Safe evolution of product populations and multi product lines.

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi

Proceedings of the 19th International Conference on Software Product Line, 2015

A product line of theories for reasoning about safe evolution of product lines.

Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi

Proceedings of the 19th International Conference on Software Product Line, 2015

Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment.

Guilherme Cavalcanti, Paola R. G. Accioly, Paulo Borba

Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

Improving Performance and Maintainability of Object Cloning with Lazy Clones: An Empirical Evaluation.

Bruno Cartaxo, Paulo Borba, Sérgio Soares, Helio Fugimoto

Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

2014

Emergent Interfaces for Feature Modularization

Márcio Ribeiro, Paulo Borba, Claus Brabrand

Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-11493-4, 2014

Making refactoring safer through impact analysis.

Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba

Sci. Comput. Program., 2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness.

Mauricio Alférez, Rodrigo Bonifácio, Leopoldo Teixeira, Paola R. G. Accioly, Uirá Kulesza, Ana Moreira, João Araújo, Paulo Borba

Requir. Eng., 2014

A Toolset for Checking SPL Refinements.

Felype Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares

J. Univers. Comput. Sci., 2014

Flexible Feature Binding with AspectJ-based Idioms.

Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba

J. Univers. Comput. Sci., 2014

Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines.

Paola R. G. Accioly, Paulo Borba, Rodrigo Bonifácio

J. Univers. Comput. Sci., 2014

SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years.

Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Feature maintenance with emergent interfaces.

Márcio Ribeiro, Paulo Borba, Christian Kästner

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Intraprocedural Dataflow Analysis for Software Product Lines.

Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Paulo Borba

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Safe composition of configuration knowledge-based software product lines.

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi

J. Syst. Softw., 2013

A design rule language for aspect-oriented programming.

Alberto Costa Neto, Rodrigo Bonifácio, Márcio Ribeiro, Carlos Eduardo Pontual, Paulo Borba, Fernando Castor

J. Syst. Softw., 2013

The crosscutting impact of the AOSD Brazilian research community.

Uirá Kulesza, Sérgio Soares, Christina Chavez, Fernando Castor, Paulo Borba, Carlos José Pereira de Lucena, Paulo César Masiero, Cláudio Sant'Anna, Fabiano Cutigi Ferrari, Vander Alves, Roberta Coelho, Eduardo Figueiredo, Paulo F. Pires, Flávia Coimbra Delicato, Eduardo Piveta, Carla T. L. L. Silva, Valter Vieira de Camargo, Rosana T. V. Braga, Julio Leite, Otávio Lemos, Nabor C. Mendonça, Thaís Vasconcelos Batista, Rodrigo Bonifácio, Nélio Cacho, Lyrene Fernandes da Silva, Arndt von Staa, Fábio Fagundes Silveira, Marco Túlio Valente, Fernanda M. R. Alencar, Jaelson Castro, Ricardo Argenton Ramos, Rosângela A. D. Penteado, Cecília M. F. Rubira

J. Syst. Softw., 2013

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091).

Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski

Dagstuhl Reports, 2013

Coevolution of variability models and related artifacts: a case study from the Linux kernel.

Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba

Proceedings of the 17th International Software Product Line Conference, 2013

Improving Modular Reasoning on Preprocessor-Based Systems.

Jean Carlos de Carvalho Melo, Paulo Borba

Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

AspectJ-Based Idioms for Flexible Feature Binding.

Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro, Paulo Borba

Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering.

Marília Aranha Freire, Paola R. G. Accioly, Gustavo Sizílio, Edmilson Campos Neto, Uirá Kulesza, Eduardo Aranha, Paulo Borba

Proceedings of the Product-Focused Software Process Improvement, 2013

SPL^LIFT: statically analyzing software product lines in minutes instead of years.

Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Modular aspect-oriented design rule enforcement with XPIDRs.

Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro

Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

2012

A theory of software product line refinement.

Paulo Borba, Leopoldo Teixeira, Rohit Gheyi

Theor. Comput. Sci., 2012

Modularity analysis of use case implementations.

Fernanda d'Amorim, Paulo Borba

J. Syst. Softw., 2012

Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering.

Paulo Borba

J. Syst. Softw., 2012

Making Software Product Line Evolution Safer.

Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

Comparing Two Black-Box Testing Strategies for Software Product Lines.

Paola R. G. Accioly, Paulo Borba, Rodrigo Bonifácio

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

Emergo: a tool for improving maintainability of preprocessor-based product lines.

Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Claus Brabrand, Paulo Borba

Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

Intraprocedural dataflow analysis for software product lines.

Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Paulo Borba

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Automatically Checking Feature Model Refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

J. Univers. Comput. Sci., 2011

The AOSD Research Community in Brazil and Its Crosscutting Impact.

Christina Chavez, Uirá Kulesza, Sérgio Soares, Paulo Borba, Carlos José Pereira de Lucena, Paulo César Masiero, Cláudio Sant'Anna, Eduardo Piveta, Fabiano Cutigi Ferrari, Fernando Castor, Roberta Coelho, Lyrene Fernandes da Silva, Vander Alves, Nabor C. Mendonça, Eduardo Figueiredo, Valter Vieira de Camargo, Carla T. L. L. Silva, Paulo F. Pires, Thaís Vasconcelos Batista, Nélio Cacho, Arndt von Staa, Julio César Sampaio do Prado Leite, Fábio Fagundes Silveira, Otávio Augusto Lazzarini Lemos, Rosângela A. D. Penteado, Flávia Coimbra Delicato, Rosana T. V. Braga, Marco Túlio Valente, Ricardo Argenton Ramos, Rodrigo Bonifácio, Fernanda M. R. Alencar, Jaelson Castro

Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

On the impact of feature dependencies when maintaining preprocessor-based software product lines.

Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares

Proceedings of the Generative Programming And Component Engineering, 2011

Investigating the safe evolution of software product lines.

Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba

Proceedings of the Generative Programming And Component Engineering, 2011

Assessing Idioms for Implementing Features with Flexible Binding Times.

Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebêlo, Paulo Borba

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010

Synchronizing Model and Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Formal Methods: Foundations and Applications, 2010

Emergent feature modularization.

Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Towards feature modularization.

Márcio Ribeiro, Paulo Borba

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Assessment of product derivation tools in the evolution of software product lines: an empirical study.

Mário Henrique C. Torres, Uirá Kulesza, Matheus Sousa, Thaís Vasconcelos Batista, Leopoldo Teixeira, Paulo Borba, Elder Cirilo, Carlos José Pereira de Lucena, Rosana T. V. Braga, Paulo César Masiero

Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

2009

A Complete Set of Object Modeling Laws for Alloy.

Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications, 2009

An Introduction to Software Product Line Refactoring.

Paulo Borba

Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Improving Guidance when Restructuring Variabilities in Software Product Lines.

Márcio de Medeiros Ribeiro, Paulo Borba

Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

Modeling scenario variability as crosscutting mechanisms.

Rodrigo Bonifácio, Paulo Borba

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Algebraic Laws for Feature Models.

Rohit Gheyi, Tiago Massoni, Paulo Borba

J. Univers. Comput. Sci., 2008

Towards a Crosscutting Approach for Variability Management.

Rodrigo Bonifácio, Paulo Borba

Proceedings of the Software Product Lines, 12th International Conference, 2008

FLiP: Managing Software Product Line Extraction and Reaction with Aspects.

Vander Alves, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Paulo Borba

Proceedings of the Software Product Lines, 12th International Conference, 2008

A decision model for implementing product lines variabilities.

Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Supporting software product lines development: FLiP - product line derivation tool.

Sérgio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Recommending refactorings when restructuring variabilities in software product lines.

Márcio Ribeiro, Paulo Borba

Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach.

Eduardo Aranha, Paulo Borba

Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

Formal Model-Driven Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Fundamental Approaches to Software Engineering, 2008

On the benefits of scenario variability as crosscutting.

Rodrigo Bonifácio, Paulo Borba, Sérgio Soares

Proceedings of the 2008 AOSD workshop on Early aspects, 2008

2007

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming.

Vander Alves, Pedro Matos, Leonardo Cole, Alexandre M. L. de Vasconcelos, Paulo Borba, Geber L. Ramalho

LNCS Trans. Aspect Oriented Softw. Dev., 2007

Analyzing Class and Crosscutting Modularity with Design Structure Matrixes.

Márcio de Medeiros Ribeiro, Marcos Dósea, Rodrigo Bonifácio, Alberto Costa Neto, Paulo Borba, Sérgio Soares

Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Towards reusable and modular aspect-oriented concurrency control.

Sérgio Soares, Paulo Borba

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

On the Contributions of an End-to-End AOSD Testbed.

Phil Greenwood, Alessandro F. Garcia, Awais Rashid, Eduardo Figueiredo, Cláudio Sant'Anna, Nélio Cacho, Américo Sampaio, Sérgio Soares, Paulo Borba, Marcos Dósea, Ricardo Argenton Ramos, Uirá Kulesza, Thiago T. Bartolomei, Mónica Pinto, Lidia Fuentes, Nadia Gámez, Ana Moreira, João Araújo, Thaís Batista, Ana Luisa Medeiros, Francisco Dantas, Lyrene Fernandes da Silva, Jan Wloka, Christina Chavez, Robert B. France, Isabel Sofia Brito

Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, 2007

An Estimation Model for Test Execution Effort.

Eduardo Aranha, Paulo Borba

Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study.

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

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Product Line Variability Refactoring Tool.

Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba, Sérgio Soares, Vander Alves

Proceedings of the 1st Workshop on Refactoring Tools, 2007

AJaTS: AspectJ Transformation System.

Roberta Arcoverde, Sérgio Soares, Patrícia Lustosa, Paulo Borba

Proceedings of the 1st Workshop on Refactoring Tools, 2007

Concurrency Control Modularization with Aspect-Oriented Programming.

Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Mapping Features to Aspects: A Model-Based Generative Approach.

Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Alberto Costa Neto, Elder Cirilo, Carlos José Pereira de Lucena, Paulo Borba

Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007

2006

Distribution and persistence as aspects.

Sérgio Soares, Paulo Borba, Eduardo Laureano

Softw. Pract. Exp., 2006

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Brazilian Symposium on Formal Methods, 2006

An Approach to Invariant-based Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Implementing Framework Crosscutting Extensions with EJPs and AspectJ.

Uirá Kulesza, Roberta Coelho, Vander Alves, Alberto Costa Neto, Alessandro Garcia, Carlos Lucena, Arndt von Staa, Paulo Borba

Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

Model Simulation for Test Execution Capacity Estimation.

Eduardo Aranha, Paulo Borba, José Lima

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming.

Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo Borba

Proceedings of the Reuse of Off-the-Shelf Components, 2006

Refactoring product lines.

Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena

Proceedings of the Generative Programming and Component Engineering, 2006

2005

A Static Semantics for Alloy and its Impact in Refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Extracting and Evolving Mobile Games Product Lines.

Vander Alves, Pedro Matos Jr., Leonardo Cole, Paulo Borba, Geber L. Ramalho

Proceedings of the Software Product Lines, 9th International Conference, 2005

Formal Refactoring for UML Class Diagrams.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

A model-driven approach to formal refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

A rigorous approach for proving model refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Comparative Analysis of Porting Strategies in J2ME Games.

Vander Alves, Ivan Cardim, Heitor Vital, Pedro H. M. Sampaio, Alexandre L. G. Damasceno, Paulo Borba, Geber L. Ramalho

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2004

Algebraic reasoning for object-oriented programming.

Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio

Sci. Comput. Program., 2004

AspectH: Uma Extensão Orientada a Aspectos de Haskel.

Carlos Andrade, André L. M. Santos, Paulo Borba

RITA, 2004

An Abstract Equivalence Notion for Object Models.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Transformation Laws for Sequential Object-Oriented Programming.

Augusto Sampaio, Paulo Borba

Proceedings of the Refinement Techniques in Software Engineering, 2004

Deriving refactorings for aspectJ.

Leonardo Cole, Paulo Borba

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Using Aspects to Make Adaptive Object-Models Adaptable.

Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E. Johnson

Proceedings of the RAM-SE'04-ECOOP'04 Workshop on Reflection, 2004

2003

Developing Adaptive J2ME Applications Using AspectJ.

Ayla Dantas, Paulo Borba

J. Univers. Comput. Sci., 2003

Refactoring Alloy Specifications.

Rohit Gheyi, Paulo Borba

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Aspect-oriented implementation method: progressive or non-progressive approach?

Sérgio Soares, Paulo Borba

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

A Refinement Algebra for Object-Oriented Programming.

Paulo Borba, Augusto Sampaio, Márcio Cornélio

Proceedings of the ECOOP 2003, 2003

2002

Testes e Geração de Código de Sistemas Web.

Eduardo Aranha, Paulo Borba

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

Implementing distribution and persistence aspects with aspectJ.

Sérgio Soares, Eduardo Laureano, Paulo Borba

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Mechanical Abstraction of CSP_Z Processes.

Alexandre Mota, Paulo Borba, Augusto Sampaio

Proceedings of the FME 2002: Formal Methods, 2002

Concurrency Control with Java and Relational Databases.

Sérgio Soares, Paulo Borba

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

JATS: A Java Transformation System.

Fernando Castor, Kellen Oliveira, Adeline Souza, Gustavo Santos, Paulo Borba

Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

An Implementation Method for Distributed Object-Oriented Applications.

Vander Alves, Paulo Borba

Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

2000

Basic Laws of ROOL: an object-oriented language.

Paulo Borba, Augusto Sampaio

RITA, 2000

Structuring Meachanisms for an Object-Oriented Formal Specification Language.

Márcio Cornélio, Paulo Borba

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1997

A System for Translating Executable VDM Specifiactions into Lazy ML.

Paulo Borba, Silvio Romero de Lemos Meira

Softw. Pract. Exp., 1997

Systematic Development of Concurrent Object-Oriented Programs.

Paulo Borba

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1996

A Refinement Theory for Concurrent Object Oriented Languages.

Paulo Borba

Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

1995

Semantics and refinement for a concurrent object oriented language.

Paulo Borba

PhD thesis, 1995

1993

From VDM specifications to functional prototypes.

Paulo Borba, Silvio Romero de Lemos Meira

J. Syst. Softw., 1993

1990

Tradução de Tipos de Especificação para Protótipo.

Paulo H. M. Borba, Silvio R. L. Meira

Proceedings of the 4th Brazilian Symposium on Software Engineering, 1990

1989

Protótipos Funcionais a partir de Especificações Formais em VDM.

Paulo Henrique Monteiro Borba, Silvio Romero de Lemos Meira

Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989