Context: The arbitrary usage of pull requests in GitHub may bring many issues such as
incomplete, verbose, and duplicated descriptions, which hinder the development and …

Software merging is an important activity during software development. Merge conflicts may
arise and degrade the software quality. Empirical studies on software merging are helpful to …

Branching is a feature of distributed version control systems that facilitates the" divide and
conquer" strategy present in complex and collaborative work domains. Branching has …

Merge conflicts are very common in collaborative software development, which is supported
mainly by the use of branches that can be potentially merged. In this context, several studies …

Version control systems, which have proven essential for software engineering, can also
provide value to creative and artistic practices. In this paper, we explore version control in …

Computer-aided design (CAD) has become a fundamental tool in engineering projects,
particularly in product design and development. Recent advancements have shifted CAD …

Merge conflicts are very common in collaborative software development. Such collaborative
work is usually supported by the use of branches, which at some point can be merged. In the …

Docker is one of the most popular containerization tools in current DevOps practice.
Particularly, Dockerfile plays an important role in the Docker-based software development …

GitHub serves as a platform for collaborative software development, where contributors
engage, evolve projects, and shape the community. This study presents a novel approach to …

In this thesis, I present the application of software engineering methods and knowledge to
the development, maintenance, and evolution of Coq—an interactive proof assistant based …