Tue Apr 11 22:03:59 EDT 2017

NASA coding

1. pseudocode specs
2. two isolated teams: coders and testers
3. document changes
4. fix mistake AND cause of mistake, blame the process


My remarks: it is possible to evolve specs (one-off tests, property
checks, model verifications) and code if there is not enough
information to produce specs.