Part III

Engineering Discipline

What replaces certainty when correctness cannot be specified in advance, what the human builder specifies instead, and where the vocabulary of implementation goes.