Без заголовка

Когда-то считалось, что всё будет генерироваться из точных абстрактных спецификаций, но выяснилось, что точно и полно можно писать только на естественном языке — дальше огромная дыра этих самых "псевдокодов", и затем сразу языки программирования. И всё развалилось,