Abstraction boundaries and spec driven development in pure mathematics.

Johan Commelin Adam Topaz

Published in: CoRR (2023)

Keyphrases

rapid development
software engineering
knowledge based systems
multiscale
knowledge management
database
case study
open source
design principles
development environment