Extending the team with a project-specific bot

12/14/2021
by   Théo Zimmermann, et al.
0

While every other software team is adopting off-the-shelf bots to automate everyday tasks, the Coq team has made a different choice by developing and maintaining a project-specific bot from the ground up. In this article, we describe the reasons for this choice, what kind of automation this has allowed us to implement, how the many features of this custom bot have evolved based on internal feedback, and the technology and architecture choices that have made it possible.

READ FULL TEXT
research
04/27/2022

Advantages of maintaining a multi-task project-specific bot: an experience report

Bots are becoming a popular method for automating basic everyday tasks i...
research
01/07/2019

Looking Back at Postgres

This is a recollection of the UC Berkeley Postgres project, which was le...
research
04/14/2020

Test Automation Process Improvement in a DevOpsTeam: Experience Report

How to successfully conduct test automation process improvement (TAPI) f...
research
09/22/2017

Female Leadership in Software Projects: A Preliminary Result on Leadership Style and Project Context Factors

Women have been shown to be effective leaders in many team-based situati...
research
10/06/2021

Two Many Cooks: Understanding Dynamic Human-Agent Team Communication and Perception Using Overcooked 2

This paper describes a research study that aims to investigate changes i...
research
11/21/2017

Finding an Effective Classification Technique to Develop a Software Team Composition Model

Ineffective software team composition has become recognized as a promine...
research
03/04/2015

Predicting opponent team activity in a RoboCup environment

The goal of this project is to predict the opponent's configuration in a...

Please sign up or login with your details

Forgot password? Click here to reset