Самая сложная часть задачи программного обеспечения - это полная и последовательная спецификация, и большая часть сущности построения программы фактически является отладкой спецификации.