The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and from structured ...