Агафонов В.Н, Спецификация программ: понятийные средства и их организация.

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