Introducing Proofs of a Program's Termination in an Undergraduate Software Engineering Course.
Chia-Chu ChiangPublished in: SMC (2006)
Keyphrases
- software engineering
- computer programs
- programming language
- personal software process
- artificial intelligence
- computer science curriculum
- software engineers
- programming course
- search based software testing
- software development
- theorem proving
- knowledge engineering
- design patterns
- engineering courses
- program execution
- computer science
- undergraduate engineering
- software maintenance
- software reuse
- undergraduate students
- engineering students
- mechanical engineering
- computer science students
- term rewriting
- formal proof
- systems development
- formal methods
- software design