Missing: 1. How to select a programming language. What features are important to develop correct programs. This is a very emotional topic. Formal specification

Missing: 1. How to select a programming language. What features are important to develop correct programs. This is a very emotional topic. Formal specification languages. 2. How to certify great programmers. Finding the 10Xer. Not hiring the weak. Developing certification / licensing for software developers. 3. Why are there 0-day bugs in popular software? 4. How to write correct programs.