Software engineering for mathematics (keynote).
Georges GonthierPublished in: ESEC/SIGSOFT FSE (2013)
Keyphrases
- software engineering
- software systems
- software development
- computer science
- key issues
- artificial intelligence
- object oriented
- programming language
- software design
- development process
- reverse engineering
- software architecture
- software projects
- software engineers
- formal methods
- design patterns
- data sets
- software developers
- knowledge management
- software maintenance
- data model
- requirements engineering
- software reuse
- requirements elicitation
- mathematical knowledge
- software engineering education
- database systems
- computer assisted instruction
- grade students
- computer algebra