He articulates the fundamental paradigm shift in s/w engg: Models are grown, not built and formal verification is not possible.