URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Агафонов В.Н. Спецификация программ: понятийные средства и их организация
Id: 54147
 

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

1987. 240 с. Твердый переплет. Букинист. Состояние: 4. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

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

Книга предназначена специалистам, участ-вующим в проектировании программ или интересующимся языковыми и математическими аспектами программирования.


 ОГЛАВЛЕНИЕ

ОТ РЕДАКТОРА.....................

ПРЕДИСЛОВИЕ.....................

Глава 1. Что такое спецификация программ......

1.1. Примеры с комментариями............

1.2. Основные свойства спецификаций........

1.3. Еще примеры и обсуждение...........

1.4. Спецификации в жизненном цикле программ...

Часть 1.

ПОНЯТИЙНЫЕ СРЕДСТВА

СПЕЦИФИКАЦИИ ПРОГРАММ..........

Глава 2. Табличные средства.............

2.1. Понятие таблицы................

2.2. Табличное описание функций, отношений и форм

2.3. Операции с таблицами.............

Глава 3. Равенства и подстановки...,.......

3.1. Синтаксис равенств и проблема определения семантики......................

3.2. Денотационная, операционная и аксиоматическая семантики, связь с подстановками.........

3.3. Варианты и обобщения систем подстановок и продукций.......................

Глава 4. Логические средства и аксиоматические описания

4.1. Логика первого порядка.............

4.2. Многообразие логик...............

Глава 5. Графовые средства:. графы, сети, диаграммы

5.1. Деревья.....................

5.2. Помеченные графы с надстройками.......

Глава 6. Операции, выражения и процедурные средства

6.1." Операции....................

6.2. Комбинирование операций и процедурные средства Глава 7. Средства модуляризации, типизации, структуризации.....................

7.1. Схемы, типы, модули, математические структуры

7.2. Представление математических объектов (структур) Глава 8. Средства именования.............

8.1. Имена и понятие переменной..........

8.2. Контексты и области действия имен........

Глава 9. Методологические принципы и прагматические рекомендации.....".............

9.1. Общие методологические принципы.......

9.2. Логическая и математическая дисциплина

9.3. Как писать и объяснять..............

9.4. Опыт, эксперименты и наблюдения...

Часть 2.

СПОСОБЫ ОРГАНИЗАЦИИ

ПОНЯТИЙНЫХ СРЕДСТВ.......

•Глава 10. Языки спецификации............

10.1. Понятие языка спецификации и классификация языков.......................

10.2. Языки, специализированные «по средствам»...

10.3. Языки, специализированные «по области»....

10.4. Универсальные языки и семейства языков... Глава 11. Информационная система ПТО........

11.1. Организация информации в ПТО........

1Д.2. Работа с информацией в ПТО.....

11.3. Особенности разработки, сопровождения, администрации и использования ПТО.........

ЗАКЛЮЧЕНИЕ......................

ОБЩЕМАТЕМАТИЧЕСКИЕ ОБОЗНАЧЕНИЯ С ПОЯСНЕНИЯМИ........................

ЛИТЕРАТУРА

 
© URSS 2016.

Информация о Продавце