Continuous Reasoning: Scaling the impact of formal methods
Iterative and incremental developments. a brief history