Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?
Marc SchooldermanSjaak SmetsersMarko C. J. D. van EekelenPublished in: CSERC (2019)
Keyphrases
- software engineers
- software engineering
- software maintenance
- software systems
- software development
- object oriented
- database applications
- source code
- reverse engineering
- program comprehension
- abductive inference
- software components
- uml diagrams
- software developers
- software projects
- computer programming
- deductive reasoning
- explanation based learning
- real world
- software industry
- data processing
- end users
- database systems
- artificial intelligence