“If we accept that code is design — a creative process rather than a mechanical one — the software crisis is explained. We now have a design crisis: the demand for quality, validated designs exceeds our capacity to create them. The pressure to use incomplete design is strong.”