Мудрый программист слышал о Дао и следует ему. Обычный программист слышал о Дао и ищет его. Плохой программист слышал о Дао и смеётся над ним. http://taopooh.narod.ru/5/dao_prog.html Master Brooks says: "no silver bullet".
Способно ли PVS научить проектированию сложных программно-аппаратных комплексов?
Жизнь есть способ борьбы белковых тел со вторым началом термодинамики.