Challenges in the collaborative development of a complex mathematical software and its ecosystem
| Autor: | Théo Zimmermann |
|---|---|
| Přispěvatelé: | Design, study and implementation of languages for proofs and programs (PI.R2), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Computer science
Process (engineering) Development team 02 engineering and technology [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Insider Development (topology) 020204 information systems Mathematical software 0202 electrical engineering electronic engineering information engineering Coq [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL] Proof assistant [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS] [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] business.industry 020207 software engineering Open source software Release management TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Software engineering business |
| Zdroj: | OpenSym 2018-14th International Symposium on Open Collaboration OpenSym 2018-14th International Symposium on Open Collaboration, Aug 2018, Paris, France. ⟨10.1145/3233391.3233966⟩ OpenSym |
| DOI: | 10.1145/3233391.3233966⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|