Productivity for proof engineering.
Mark StaplesD. Ross JefferyJune AndronickToby C. MurrayGerwin KleinRafal KolanskiPublished in: ESEM (2014)
Keyphrases
- engineering design
- computer science
- materials science
- case study
- software development
- theorem proving
- engineering education
- engineering problems
- engineering students
- return on investment
- systems engineering
- mechanical engineering
- proof theory
- engineering systems
- real time
- software engineering
- multi agent
- neural network