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