Монография посвящена важному этапу проектирования программ - этапу описания (спецификации) решаемых задач. Анализируется проблема спецификации программ, рассматриваются основные классы понятий, используемых в качестве средств описания, обсуждается организация понятийных средств в виде языков спецификации и предложенной автором практической теории определений (ПТО)- базы знаний по спецификации программ. Второе издание дополнено сведениями о новых языках спецификации и развитии системы ПТО. Первое издание книги вышло в 1987 г.
Книга предназначена для специалистов и студентов, интересующихся проектированием программ, языковыми и математическими аспектами программирования. Это и многое другое вы найдете в книге Спецификация программ: понятийные средства и их организация (В. Н. Агафонов)