Paulo Borba

Latest

• 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
• 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