Сборник посвящен важному этапу разработки программ – определению общих требований к программе и точному описанию задачи, которую она должна решать. Он содержит работу по универсальным языкам спецификаций, языка описания систем обработки информации, баз данных и методологии разработки спецификаций. Представлены как широко признанные методики, так и новые экспериментальные. В числе авторов – известные специалисты Д. Росс (США), Ф. Бауэр (ФРГ) и др.