> -- Илья Ермаков писал(а):
> ... нисходящее проектирование в сочетании с формулировкой логических предикатов и с опорой на строгий язык обеспечит не меньшую надёжность. Время, потраченное на переформализованную рутину, лучше потратить на хороший дизайн и проверку системы несколькими людьми.
А фактически они так и делали, только потом пошли дальше и сделали дополнительно и эту рутину. Видимо, их университет мог позволить себе такие траты ресурсов...