Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение
Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Принципы разработки програмного обеспечение

Авторы: Зелковиц М., Шоу А., Геннон Дж.

Аннотация:

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


Язык: ru

Рубрика: Computer science/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: 1

Год издания: 1982

Количество страниц: 368

Добавлена в каталог: 25.02.2010

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Адрес возврата      217
Аксиома выбора      101
Аксиома присваивания      100
Аксиома следования      100
Аксиома цикла      100
Алгоритм выбора из конечного числа состояний      127
Анализ контрольный      38
Анализ лексический      252
Анализ пошаговый      30
Анализ рекурсивный нисходящий      304
Анализ синтаксический      252
Анализ требований      11 12
Анализатор лексический      127
Анализатор определения задач (PSA)      36 45 52 53
Анализатор синтаксический      301
Аттестация системы      37
Библиотекарь      27 54
Блок сканирования      253 297
Блокировка      214
Бригада главного программиста      25
Буфер ввода-вывода      223
Буфер дискового накопителя      227
Буферизация данных      226
Бэкуса — Наура форма      263
Вектор возможностей      95
Вектор информационный      355
Верификация      39 98
Верификация системы      18
Вывод левосторонний      267
Генератор кода      252 338
Генератор псевдослучайных чисел      145
Гистограмма выполнения программы      48 49 115
Грамматика      261
Грамматика без ограничений      266
Грамматика контекстно-зависимая      266
Грамматика контекстно-свободная      265
Грамматика неоднозначная      268
Грамматика регулярная      265
Грамматика формальная      261
Граф      81
Граф направленный      81
Граф ненаправленный      81
Дамп      39
Данные      76
Данные абстрактного типа      51 83—90 106
Дерево      81
Дерево вывода      266
Дерево вырожденное      195
Дерево двоичное      193
Дерево сбалансированное      193
Дескриптор      222
Дескриптор процесса      209
Дескриптор файла      223
Диаграмма состояний      269
Доказательство правильности программ      101
Журнал системный      27
Заглушки      69 108
Загрузчик      204 230 233 259
Задание пользователя      206
Задача на размен денег      156—162
Задача о бронировании мест на самолеты      176—196
Задача о последовательности Фибоначчи      134—136
Задача о размещении автомобилей      142—156
Задача поиска пути через лабиринт      162—176
Задача сортировки списка      136—142
Закон Паркинсона      30
Запись инфиксная      275
Запись логическая      223
Запись постфиксная      275
Запись физическая      223
Идентификатор задания      207
Иерархия виртуальных машин      206
Инвариант      101
Интерпретатор      201 203 257 357
Испытание      39
Испытание системы      18
Канал мультиплексный      199
Карта памяти      215
Ключ      120 122
Ключевое слово      291
Код операции      321
Кодирование      11 16 19
Компилятор      251—357
Компилятор с двумя проходами      253
Компилятор с одним проходом      253
Компилятор с тремя проходами      253
Конечный автомат      269
Конечный недетерминированный      272
Конструкции абстрактные      81
Критерии тестирования      115
Лексема      127 252 283
Листинг      208
Локализованность информационная      82
Массив      354
Машина абстрактная (виртуальная)      67 197
Метод алгоритмического анализа      30
Метод восходящего проектирования      67
Метод нисходящего проектирования      44 65—71
Метод последовательной модернизации      70
Метод пошагового совершенствования      67
Метод разбиения задачи на независимые подзадачи      117
Метод разбиения задачи на одинаковые по сложности части      117
Метод рекурсии      134 155 156
Метод экспертных оценок      29
Множество      80
Моделирование      119 145
Модель      144
Модуль      56
Модуль объектный      259
Монитор      51
Накопитель дисковый      206
Область рабочая      203
Оператор Declare      63
Оператор Do While      62
Оператор leave      64
Оператор выбора      62
Оператор выбора case      62
Оператор выбора if      62
Определение спецификаций      11 13 19
Оптимизация локальная      338
Очередь      80
Ошибко-день      43
Память вспомогательная      199
Память основная      199
Переменная агрегативная      77
Переменная действительная      77
Переменная комплексная      77
Переменная скалярная      77
Переменная целая      77
Планирование заданий      224
Планирование процессов      224
Подсистема      56
Поиск      119
Поиск в глубину      123 172
Поиск в ширину      124 163
Поиск двоичный      121
Поиск линейный      121
Поиск прямой      120
Поиск с возвратом      126
Поиск хэш      122
Права доступа      95
Правило следования      99
Правильность программ      73 98—105
Предикат      41 98—100
Предусловие      99
Прерывание      217
Проблема перечисления цепочек      266
Программа исходная      253
Программа надежная      18
Программа правильная      18 40
Программа простая      18 73
Программа элементарная      74
Программирование динамическое      119
Программирование структурное      50 71—76
Программист главный      25
Программист младший      26
Программист старший      26
Продукция      264
Проектирование восходящее      67
Проектирование интеллектуальное      36
Проектирование модульное      83
Проектирование нисходящее      65
Проектирование по управлению      83
Проектирование структурное      56
Процесс корневой      206 240
Процессор центральный      199
Псевдокод      61
Псевдокомментарий      112
Работа      56
Разбор грамматический      252
Распознавание цепочек      266
Регистр индексный      321
Регистр команд      321
Редактор связей      259
Режим мультипрограммный      197
Режим пакетный      197
Рекурсия      118
Сборник      259
Семантика      261
Семафор двоичный      215
Символ терминальный      264
Синтаксис внешний      44 61
Синтаксис внутренний      44 61
Система ISDOS      36
Система MULTICS      47
Система PSL/PSA      39 45
Система SLOS      197
Система SREM      55 56
Система UNIX      46
Система операционная      10 197—250
Система структурного анализа и проектирования (SADT)      53—55
Словарь      262
Слово состояния программы      199
Сопрограмма      130
Сортировка обменная      125 136
Сортировка слиянием      125 139
Список      78
Список готовности      209
Список заблокированных процессов      211
Список ожидания      209
Список свободных устройств      211
Список связанный      211
Справочник главный      221
Спулинг ввода      201 205
Спулинг вывода      202 205
Среда выполнения      328
Среднее время наработки на отказ      42
Стек      80 90
Стратегии распределения памяти      128 228
Строка      355
Структура      78
Структурное программирование      50 71—76
Супервизор заданий      203
Таблица заданий      201 220
Таблица символов      288
Таймер интервальный      201
Тест полный      116
Тест успешный      116
Тестирование      11 16 105
Тестирование автономное      11 16 19
Тестирование восходящее      68
Тестирование комплексное      11 17 19
Тестирование нисходящее      69
Тестирование программ      115
Тестирование системное      17
Тестирование сравнительное      17
Точки контрольные      34
Трассировка      39
Указатель      88
Управление ресурсами      211
Управляющая программа      205
Управляющая программа печатающего устройства      205
Управляющая программа терминала оператора      205
Управляющая программа устройства чтения с перфокарт      205
Файл      201
Файл активный      221
Файл временный      205
Файл постоянный      205
Файл спулинга ввода      221
Файл спулинга вывода      221
Файл учетный      221
Флажок      215
Форма сентенциальная      264
Фраза простая      264
Цепочка      262
Цепочка дескрипторная      222
Цепочка допустимая      263
Цепочка символов      262
Цикл разработки («цикл жизни») программного обеспечения      11 14
Часы суточные      201
Эксплуатация и сопровождение      11 19
Ядро операционной системы      209
Ядро программного обеспечения      206
Язык Alphard      51 97
Язык CLU      51 97
Язык CYPSY      104
Язык Euclid      51
Язык NIP      278
Язык Pascal      44 47 58 75 82
Язык PL/C      39 281
Язык PL/CS      104 113
Язык PLUM      39 90
Язык PLUM ПЛ/1      90
Язык SIMULA      96
Язык Алгол      43 60 75 81 97
Язык Бейсик      251
Язык Кобол      82 107
Язык определения задач (PSL)      36 52
Язык определения требований (RSL)      36 55
Язык ПЛ/1      44 58 60—65 75 82 90 106 251
Язык проектирования программ (PDL)      44 60—65
Язык регулярный      274
Язык управления заданиями (JCL)      207
Язык Фортран      36 43 58 82 106 251
Язык ФОРТРАН-77      75
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте