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