TY - GEN
T1 - Challenges in the collaborative development of a complex mathematical software and its ecosystem
AU - Zimmermann, Théo
N1 - Publisher Copyright:
© 2018 Copyright held by the owner/author(s).
PY - 2018/8/22
Y1 - 2018/8/22
N2 - This is a contribution to the OpenSym 2018 Doctoral Symposium. This paper describes my PhD objectives. As an insider in the Coq development team, I've worked at making the release process of the Coq proof assistant smoother and more automated, at opening the development to external contributions, and at shaping the ecosystem around Coq. I'm intending to evaluate how well-known software engineering techniques and results about open source software communities apply in the specific case of the proof assistant I'm studying.
AB - This is a contribution to the OpenSym 2018 Doctoral Symposium. This paper describes my PhD objectives. As an insider in the Coq development team, I've worked at making the release process of the Coq proof assistant smoother and more automated, at opening the development to external contributions, and at shaping the ecosystem around Coq. I'm intending to evaluate how well-known software engineering techniques and results about open source software communities apply in the specific case of the proof assistant I'm studying.
KW - Coq
KW - Mathematical software
KW - Open source software
KW - Proof assistant
KW - Release management
UR - https://www.scopus.com/pages/publications/85056737160
U2 - 10.1145/3233391.3233966
DO - 10.1145/3233391.3233966
M3 - Conference contribution
AN - SCOPUS:85056737160
T3 - Proceedings of the 14th International Symposium on Open Collaboration, OpenSym 2018
BT - Proceedings of the 14th International Symposium on Open Collaboration, OpenSym 2018
PB - Association for Computing Machinery, Inc
T2 - 14th International Symposium on Open Collaboration, OpenSym 2018
Y2 - 22 August 2018 through 24 August 2018
ER -