programming methodology: software life cycle [Chapter 1, pages 10-11], top-down design [Chapter 3, page 126-132],
object-oriented design [Chapter 3, page 133], modular design, pseudocode
stubs and drivers [Chapter 6, page 307]
program portability [Chapter 7, page 357]
assertions, preconditions, postconditions [Chapter 4, page 185]
loop invariants [Chapter 8, page 397]
specification/implementation, information hiding, separate compilation