Программирование

Список источников >Компьютеры >Программирование >

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

Автор: Агафонов, Валерий Николаевич
Год: 1990
Издание: Новосибирск: Наука; Издание 2-е, доп.
Страниц: 223
ISBN: 502029666, 502029666X, 502029666X
Монография посвящена важному этапу проектирования программ - этапу описания (спецификации) задач, которые они должны решать. Анализируется проблема спецификации программ, рассматриваются основные классы понятий, используемых в качестве средств описания, обсуждается организация понятийных средств в виде языков спецификации и предложенной автором практической теории определений (ПТО) – базы знаний по спецификации программ. Второе издание дополнено сведениями о новых языках спецификации и развитии системы ПТО. Первое издание книги вышло в 1987 г.Книга предназначена для специалистов и студентов, интересующихся проектированием программ, языковыми и математическими аспектами программирования.Ил. 36. Библиогр.: 156 назв.
Добавлено: 2009-11-18 20:30:59

Видео о книгах:


Похожие книги

Источник: Зобов, А.М.; Филинов, Н.Б.; Наумов, А.И., Том 1. Как работать с модульной программой. 17-модульная программа для менеджеров "Управление развитием организации" Зобов, А.М.; Филинов, Н.Б.; Наумов, А.И.Том 1. Как работать с модульной программой. 17-модульная программа для менеджеров "Управление развитием организации" Источник: Смирнова, В.Г.; Мильнер, Б.З.; Латфуллин, Г.Р. и др., Том 2. Организация и ее деловая среда: 17-модульная программа для менеджеров "Управление развитием организации" Смирнова, В.Г.; Мильнер, Б.З.; Латфуллин, Г.Р. и др.Том 2. Организация и ее деловая среда: 17-модульная программа для менеджеров "Управление развитием организации" Источник: Гунин, В.Н.; Баранчеев, В.П.; Устинов, В.А. и др., Том 7. Управление инновациями: 17-модульная программа для менеджеров "Управление развитием организации". Модуль 7. Гунин, В.Н.; Баранчеев, В.П.; Устинов, В.А. и др.Том 7. Управление инновациями: 17-модульная программа для менеджеров "Управление развитием организации". Модуль 7.

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы