Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems.
Gwenyth LincroftMinsung ChoKatherine HoughMahsa BazzazJonathan BellPublished in: MSR (2024)
Keyphrases
- software engineers
- domain expertise
- test bed
- software engineering
- years ago
- automated theorem provers
- software systems
- software development
- software maintenance
- source code
- database applications
- computer algebra
- reverse engineering
- software components
- case study
- software developers
- artificial intelligence
- database systems
- theorem prover
- object oriented
- software architecture
- information retrieval
- data processing
- web services
- knowledge management