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


 
Вернуться в: Каталог  
Обложка Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации: Пер. с англ.
Id: 2009
 
399 руб.

Автоматизированные методы спецификации: Пер. с англ.

1989. 115 с. Мягкая обложка. ISBN 5-03-000487-4. Букинист. Состояние: 4+. .

 Аннотация

В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге средства спецификации могут быть использованы для описания различных сложных систем на концептуальном уровне. Большое число примеров облегчает усвоение материала. Для системных программистов, инженеров-математиков и аспирантов, специализирующихся в области вычислительной техники.

ГЛАВЛЕНИЕ

 Предисловие

редактора перевода.............. 7

Предисловие...................... 9

Глава 1. Введение................... 10

Глава 2. Понятийные модели................ 14

2.1. Элементарные конструкции.............. 14

2.1.1. Информационные элементы............ 14

2.1.2. Информационные секции............... 15

2.1.3. Основные операции................. 16

2.2. Структура диалога................. 19

2.2.1. Начальный ввод.................. 19

2.2.2. Повторный вход.................. 20

2.2.3. Операции корректировки............... 21

2.2.4. Дальнейшие требования............... 23

2.3. Логические модели данных............ 26

2.3.1. Элементарная модель данных............ 26

2.3.2. Обогащение структур типов............. 27

2.4. Основные принципы модели понятия.......... 32

2.5. Логическая информационная модель понятий...... 33

2.5.1. Определение понятия................ 33

2.5.2. Подтипы..................... 34

2.5.3. Объекты данных.................. 36

2.5.4. Отношения.................... 37

2.6. Модель языка................... 40

2.6.1. Связанные шаблоны................ 40

2.6.2. Контекстный стек................. 41

2.6.3. Генерация отчетов................. 43

Глава 3. Формальные модели............... 45

3.1. Ссылочное исчисление................ 45

3.1.1. Ссылочные универсумы............... 45

3.1.2. Упорядоченные универсумы............. 46

3.1.3. Квалифицированные схемы.............. 48

3.1.4. Неполный универсум................ 50

3.1.5. Регулярный универсум............... 51

3.2. Фундаментальные операции.............. 53

3.3. Исчисление отношений............... 54

3.3.1. Простейший случай................. 54

3.3.2. Общий случай...................56

3.4. Факторизация в отношениях.............58

3.5. Ссылочные схемы как теории............60

Глава 4. Принципы описаний................ 62

4.1. Основные методы описания.............62

4.2. Основные концептуальные модели............63

4.2.1. Простые ориентированные графы...........64

4.2.2. Модели раскрашенных графов............66

4.2.3. Двудольные графы.................71

4.2.4. Модель, применяемая в методологии SADT.......72

4.3. Усовершенствованные логические модели........75

4.3.1. Проектирование информационных систем........75

4.3.2. Системы управления процессами...........81

4.4. Описания на машинно-ориентированном уровне.....84

4.4.1. Структуры управления...............84

4.4.2. Структуры данных.................89

Глава 5. Пример спецификации процесса организации конференции 95

5.1. Описание порядка проведения конференции.......95

5.1.1. Спецификация процесса проведения конференции..... 95

5.1.2. Структуры документов...............100

5.1.3. Структуры данных.................101

5.1.4. Типы записей...................103

5.1.5. Персонал.................... 103

5.1.6. Вычислительные средства..............104

5.2. Логическое проектирование системы.......... 105

5.2.1. Функции и отношения ввода-вывода.........105

5.2.2. Информационные структуры.............107

5.2.3. Структуры данных.................108

5.3. Приложение: определения понятий..........109

 
© URSS 2016.

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