Paulo Borba
Home
Projects
Publications
Posts
Courses
Talks
Students
Contact
Paulo Borba
Latest
Modularidade, Componentes, Arquitetura e Reuso de Software: de Parnas aos LLMs
Research and Publication Practices and Strategies
Desmistificando a IA na Medicina
Detecting semantic conflicts with unit tests
Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos
Lightweight Semantic Conflict Detection with Static Analysis
Refinando a Precisão da Detecção de Conflitos: Uma Análise do CSDiff com Abordagem Focalizada
Semantic conflict detection via dynamic analysis
Semistructured Merge with Language-Specific Syntactic Separators
Quero mesmo ser Pesquisador?
É o fim da programação?
Impactos da Inteligência Artificial na Sociedade
O fim da programação, de novo!
O Fim da Programação: impactos da IA na programação
Using acceptance tests to predict merge conflict risk
Build conflicts in the wild
Semantic conflict detection with overriding assignment analysis
The Private Life of Merge Conflicts
Estratégias de Publicação
Modularidade de Software
Lazy Clone - A Pattern to Improve Performance and Maintainability of Object Cloning
Leveraging Structure in Software Merge: An Empirical Study
Semi-Automated Test-Case Propagation in Fork Ecosystems
Textual merge based on language-specific syntactic separators
Em Busca de Maior Simplicidade e Confiabilidade no Processo de Integração de Código
Detecting Semantic Conflicts via Automated Behavior Change Detection
Privacy and security constraints for code contributions
Safe Evolution of Product Lines Using Configuration Knowledge Laws
Understanding predictive factors for merge conflicts
Improving the prediction of files changed by programming tasks
Partially safe evolution of software product lines
Semistructured Merge in JavaScript Systems
The Impact of Structure on Software Merging: Semistructured versus Structured Merge
Using acceptance tests to predict files changed by programming tasks
Analyzing Conflict Predictors in Open-Source Java Projects from GitHub and Travis CI
Detecting Overly Strong Preconditions in Refactoring Engines
Understanding semi-structured merge conflict characteristics in open-source Java projects
An idiom to represent data types in Alloy
Empirical assessment of two approaches for specifying software product line use case scenarios
Evaluating and Improving Semistructured Merge
Evaluating and improving semistructured merge
Products go Green: Worst-Case Energy Consumption in Software Product Lines
Should We Replace Our Merge Tools?
Assessing fine-grained feature dependencies
Assessing Idioms for a Flexible Feature Binding Time
Coevolution of variability models and related software artifacts
Partially Safe Evolution of Software Product Lines
Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems
Safe Evolution of Software Product Lines: Feature Extraction Scenarios
A Product Line of Theories for Reasoning about Safe Evolution of Product Lines
Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment
Improving Performance and Maintainability of ObjectCloning with Lazy Clones: An Empirical Evaluation
Safe Evolution of Product Populations and Multi Product Lines
Safe evolution templates for software product lines
A Toolset for Checking SPL Refinements
Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness
Feature Maintenance with Emergent Interfaces
Flexible Feature Binding with AspectJ-based Idioms
Making refactoring safer through impact analysis
Semistructured Merge on Git: An Assessment
SPLLIFT- Statically analyzing software product lines in minutes instead of years
A design rule language for aspect-oriented programming
A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering
AspectJ-based Idioms for Flexible Feature Binding
Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel
Improving modular reasoning on preprocessor-based systems
Intraprocedural Dataflow Analysis for Software Product Lines
Modular Aspect-Oriented Design Rule Enforcement with XPIDRs
Safe composition of configuration knowledge-based software product lines
SPLlift ? Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines
SPLLIFT: statically analyzing software product lines in minutes instead of years
The crosscutting impact of the AOSD Brazilian research community
A Theory of Software Product Line Refinement
Comparing Two Black-box Testing Strategies for Software Product Lines
Emergo: a tool for improving maintainability of preprocessor-based product lines
Intraprocedural Dataflow Analysis for Software Product Lines
Investigating the safe evolution of software product lines
Making Software Product Line Evolution Safer
Modularity analysis of use case implementations
On the impact of feature dependencies when maintaining preprocessor-based software product lines
Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering
Towards a Better Understanding of Feature Dependencies in Preprocessor-based Systems
A tool for improving maintainabiliy of preprocessor-based product lines
Assessing Idioms for Implementing Features with Flexible Binding Times
Automatically Checking Feature Model Refactorings
Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions
Investigating the safe evolution of software product lines
On the impact of feature dependencies when maintaining preprocessor-based software product lines
PBL no ensino de testes de software: uma experiência prática
Safe composition of configuration knowledge-based software product lines
Synchronizing Model and Program Refactoring
The AOSD Research Community in Brazil and Its Crosscutting Impact
Using PBL to Develop Software Test Engineers
A Theory of Software Product Line Refinement
Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study
Emergent Feature Modularization
Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares
Modularity Analysis of Use Case Implementations
Synchronizing Model and Program Refactoring
TaRGeT: a Model Based Product Line Testing Tool
Towards feature modularization
A complete set of object modeling laws for Alloy
A design rule language for aspect-oriented programming
Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?
Estimating manual test execution effort and capacity based on execution points
Hephaestus: A tool for managing SPL variabilities
Improving guidance when restructuring variabilities in software product lines
Modeling scenario variability as crosscutting mechanisms
Modularity analysis of use case implementations
Modularizing variabilities with CaesarJ collaboration interfaces
A complete and minimal set of algebraic laws for feature models
A decision model for implementing product lines variabilities
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
Algebraic Laws for Feature Models
Automated Test Execution Effort Estimation based on Functional Test Specifications
FLiP: Managing Software Product Line Extraction and Reaction with Aspects
FLiP: Product Line DerivationTool
Formal Model-Driven Program Refactoring
JML and Aspects: The benefits of instrumenting JML features with AspectJ
Manualtest: Improving collection of manual test execution data in empirical studies
On the benefits of variability management as crosscutting
Recommending refactorings when restructuring variabilities in software product lines
Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool
Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach
A Static Semantics for Alloy and its Impact in Refactorings
AJaTS - AspectJ Transformation System: Tool Support for Aspect-Oriented Development and Refactoring
AJaTS: AspectJ Transformation System
An Estimation Model for Test Execution Effort
Analyzing Class and Crosscutting Modularity with Design Structure Matrixes
Brazil test center research group
Concurrency Control Modularization with Aspect-Oriented Programming
Empirical Studies of Test Execution Effort Estimation Based on Test Characteristics and Risk Factors
Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming
Formally Introducing Alloy Idioms
Mapping Features to Aspects: A Model-Based Generative Approach
On the Contributions of an End-to-End AOSD Testbed
On The Design of an End-to-End AOSD Testbed for Software Stability
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
On the Modularity of Aspect-Oriented and other Techniques for Implementing Product Lines Variabilities
Product Line Variability Refactoring Tool
Semantic Dependencies and Modularity of Aspect-Oriented Software
Sizing system tests for estimating test execution effort
Specifying design rules in aspect-oriented systems
Test Effort Estimation Models Based on Test Specifications
Towards Reusable and Modular Aspect-Oriented Concurrency Control
Using Design Structure Matrices to Assess Modularity in Aspect-Oriented Software Product Lines
A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs
A Theory for Feature Models in Alloy
A Verification Approach for Crosscutting Features Based on Extension Join Points
An Approach to Invariant-based Program Refactoring
An Approach to Invariant-based Program Refactoring
Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines
Contextos de Primeira Classe em Transformações de Programas
Declaring Static Crosscutting Dependencies in AspectJ
Distribution and Persistence as Aspects
From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration
Implementing Framework Crosscutting Extensions with EJPs and AspectJ
Improving extensibility of object-oriented frameworks with aspect-oriented programming
Refactoring product lines
Sound Object Model Refactorings
Suporte a Refatorações em um Sistema de Transformação de Propósito Geral
A Model-driven Approach to Formal Refactoring
A Rigorous Approach for Proving Model Refactorings
An Abstract Equivalence Notion for Object Models
Comparative Analysis of Porting Strategies in Mobile Device Games
Deriving refactorings for AspectJ
Extracting and Evolving Mobile Games Product Lines
Formal Refactoring for UML Class Diagrams
Formal Refactorings for Object Models
Geração de Sistemas de Transformação
Implementing Modular and Reusable Aspect-Oriented Concurrency Control with AspectJ
Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes
Proving aspect-oriented programming laws
Type-safe refactorings for Alloy
Um Sistema de Tipos para uma Linguagem de Transformação
A General-purpose Transformation System for Java
A UML Class Diagram Analyzer
Algebraic reasoning for object-oriented programming
An Abstract Equivalence Notion for Object Models
An Incremental Aspect-Oriented Product Line Method for J2ME Game Development
AspectH: Uma Extensão Orientada a Aspectos de Haskell
AspectH: Uma Extensão Orientada a Aspectos de Haskell
Basic Laws of Object Modeling
Deriving refactorings for AspectJ
Desenvolvimento de Software Orientado a Aspectos utilizando RUP e AspectJ
Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes
Refactoring Alloy Specifications
Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach
Towards Progressive and Non-progressive Implementation Approaches Evaluation
Using Aspects to Make Adaptive Object-Models Adaptable
Using Programming Laws to Modularize Concurrency in a Replicated Database Application
A refinement algebra for object-oriented programming
AdapPE: An architectural pattern for structuring adaptive applications with aspects
Aspect-oriented implementation method: Progressive or non-progressive approach?
Developing adaptive J2ME applications using AspectJ
Developing adaptive J2ME applications using AspectJ
Refactoring Alloy specifications
Using aspects to structure small devices adaptive applications
A RUP-based software process supporting progressive implementation
AspectJ, programação orientada a aspectos em Java
Concurrency control with Java and relational databases
Implementing distribution and persistence aspects with AspectJ
Implementing distribution and persistence aspects with aspectJ
Integrating code generation and refactoring
Mechanical abstraction of CSP-Z processes
PaDA: A Pattern for Distribution Aspects
Padrões de projeto para estruturação de aplicações distribuídas Enterprise JavaBeans
PIP: Progressive Implementation Pattern
Progressive implementation with aspect-oriented programming
Testes e geração de código de sistemas web
Uma linguagem para testes de aceitação de sistemas web
Web systems acceptance tests and code generation
A language for specifying Java transformations
An implementation method for distributed object-oriented applications
Concurrency Manager
Controle de concorrência com Java e bancos de dados relacionais
Distributed adapters pattern: A design pattern for object-oriented distributed applications
JaTS: A Java transformation system
PDC: Persistent Data Collections Pattern
Progressive implementation of aspects
Web Handlers
A design pattern for distributed applications
Basic laws of ROOL: an object-oriented language
Basic laws of ROOL: an object-oriented language
Structuring Mechanisms for an Object-Oriented Formal Specification Language
Integrando Java com Bancos de Dados Relacionais
Progressive implementation of distributed Java applications
Design of an Object-Oriented Formal Specification Language
Systematic development of concurrent object-oriented programs
Where are the Laws of Objet-Oriented Programming?
A System For Translating Executable VDM Specifications Into Lazy ML
Parameterized Packages and Java
A Refinement Theory for Concurrent Object Oriented Languages
States as Specifications
An Operational Semantics for FOOPS
From VDM Specifications To Functional Prototypes
Prototyping Action Semantics using Functional Languages
From Model Based Specifications to Functional Prototypes
Tradução de Tipos de Especificação para Protótipo
Notação VDM Executável em Standard ML
Protótipos Funcionais a partir de Especificações Formais em VDM
Acesso a um Banco de Dados através de Linguagem Natural
Cite
×