Лисков Б., Гатэг Дж. — Использование абстракций и спецификаций при разработке программ :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Лисков Б., Гатэг Дж. — Использование абстракций и спецификаций при разработке программ

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

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

Название: Использование абстракций и спецификаций при разработке программ

Авторы: Лисков Б., Гатэг Дж.

Аннотация:

В книге американских специалистов излагаются основные способы создания спецификаций программ, повышающих эффективность разработки информационно-программного обеспечения. Значительное внимание уделено языку программирования CLU, позволяющему поддерживать различные типы абстракций» реализованных на языках ПЛ/1, Паскаль и Ада.

Язык:

Рубрика: Разное/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Абстракция      10—19
Абстракция вспомогательная      270—273
Абстракция данных      17 64
Абстракция данных intset      246
Абстракция данных intset реализация      246—247
Абстракция данных анализ      245
Абстракция данных использование      74
Абстракция данных написание      402
Абстракция данных параметризованная      86
Абстракция данных реализация      68
Абстракция данных реализация на языке CLU      69
Абстракция дополнительная      279
Абстракция инвариант      99
Абстракция итерации      126
Абстракция недоопределеыная      62
Абстракция параметризованная      56
Абстракция полиморфная      146 324
Абстракция преимущества      47
Абстракция проектирование      270
Абстракция процедурная      17 47
Абстракция процедурная создание      58
Абстракция процедурная спецификация      50 66
Абстракция процедурная спецификация интерфейса      214
Абстракция целевая      271
Абстракция через итерацию      18
Абстракция через параметризацию      14 48
Абстракция через спецификацию      15 48 64
Абстракция эффективность      314
Ввод-вывод      43
Ввод-вывод построчный      386
Генератор      150 318
Граф ориентированный      400—401
Граф список в ширину      400
Граф список смежных узлов      400
Дерево      401
Дерево бинарное      157
Дерево корень      401
Диаграмма модульной зависимости      272 274 279 292 296 297
Диаграмма расширенная      282
Диграф      403
Драйвер      182—184 193
Заглушка      183 311
Идентификатор      332
Инвариант представления      80—84 248 254 274 296
Инвариант представления сохранение      84
Инвариант цикла      253
Исключительная ситуация      110
Исключительная ситуация использование в программах      117
Исключительная ситуация механизм      110
Исключительная ситуация обработка      111
Исключительная ситуация сигнализация      111
Итератор      20 130 304 318
Итератор встроенный      132
Итератор имя      339
Итератор использование      130
Итератор определение      353
Итератор проектирование      135
Итератор реализация      130
Итератор спецификация      129
Квалификатор      234 243
Кластер      20 69 309
Кластер определение      353
Ключевое слово      262
Конструктор      97 178 341
Конструктор базовый      211—212
Конструктор дополнительный      211—212
Конструктор примитивный      97 178
Корректировщик правописания      405
Литерал      332 339
Модификатор      97
Мульти набор      159
Наблюдатель      97
Набор intset      245—247 251 254
Область видимости      334
Область определения      334
Объект      26 45
Объект доступный      27
Объект изменяемый      27
Объект разделяемый      27 30
Объект типа      278
Оператор      21
Оператор begin      346
Оператор break      347
Оператор continue      347
Оператор except      349
Оператор exit      351
Оператор for      347
Оператор resignal      351
Оператор return      348
Оператор signal      349
Оператор tagcase      348
Оператор while      347
Оператор yield      348
Оператор вызова процедуры      345
Оператор обновления      345
Оператор условный      346
Операционная система TOPS-20      380
Операционная система UNIX      380
Операция cvt      248—249 327
Операция down      70 73 344 354
Операция up      70 73 344 354
Операция над действительными числами, встроенными в язык CLU      36
Операция над целыми числами, встроенными в язык CLU      360
Операция типа      278
Опознаватель      331
Отладка      169 184—191
Палиндром      177 86
Параметризация      318
Портфель      159 168
Постусловие      226—228 234 240 249—250
Поток      382
Поток строкоориентированный      386
Поток терминальный      387
Поток типа istream      388
Предусловие      226—227
Проверка граничных условий      173
Проверка достоверности неформальная      169
Проверка достоверности полная      170
Проверка достоверности программы      169
Проверка достоверности формальная      169
Программа TriviCalc      406—417
Программа TriviCalc интерфейс с пользователем      408
Программа время отклика      260
Программа декомпозиция      9—12
Программа модифицируемость      49 261
Программа объектно-ориентированная      45
Программа повторная используемость      261
Программа проектирование      121 270
Программа производительность      260
Программа с изменяющимися аргументами      240
Программа сопротивление      257
Программа устойчивая      106
Программа эффективность      49 260 274—275 314 314
Программа эффективность ограничения      274
Программа, верификация      225 257
Программирование защитное      107 169 191—193
Проектирование сверху вниз      298 310
Проектирование снизу вверх      298 310
Процедура      31
Процедура add_space      290
Процедура add_tab      290

Процедура add_word      290
Процедура append_array      173 174
Процедура array_mult      218
Процедура clear      290
Процедура create      29
Процедура do_line      281
Процедура do_text_line      284
Процедура factorial      238
Процедура failure      318
Процедура force      344
Процедура getind      248
Процедура in_range      191
Процедура is_prime      62
Процедура justify      290
Процедура key_sort      62 63
Процедура length      290
Процедура maxt      62
Процедура max_array      255
Процедура max_elem      254
Процедура max_of three      174 175
Процедура merge      54
Процедура merge_sort      54 60
Процедура output      290
Процедура palindrome      177 186 187
Процедура sum_positive      254
Процедура без побочных эффектов      234
Процедура имя      59 339
Процедура когерентность      304 316 317
Процедура когерентность дизъюнктивная      306—307
Процедура когерентность конъюнктивная      305
Процедура когерентность типов      308
Процедура корректная      59
Процедура недоопределенная      59
Процедура область изменения      106
Процедура область определения      106
Процедура обобщаемость      59
Процедура общая      60
Процедура определение      352
Процедура простота      59
Процедура реализация      52
Процедура спецификация      15 258
Процедура тело      21
Процедура частичная      60
Разделитель      332 333
Реализация детерминированная      59
Селектор      373
Сорт      197 201—207
Сортировка      11
Сортировка слиянием      11 63
Сортировка стабильная      63
Спецификатор      158
Спецификация      109 158 162—168
Спецификация дефинитивная      161
Спецификация дополнительная      196—197
Спецификация дополнительная внутренняя непротиворечивость      208
Спецификация дополнительная полнота      208—209
Спецификация избыточная      162
Спецификация интерфейса      196
Спецификация интерфейса абстракций данных      221
Спецификация обобщенная      161
Спецификация ограниченная      159
Спецификация операционная      161
Спецификация полная      261
Спецификация точная      261
Спецификация требований      256 260
Спецификация формальная      195
Спецификация формальная написание      195—224
Спецификация формальная тело      215 217
Список      89
Список пустой      90
Список упорядоченный      93 118
Терм проверки сорта      198
Терм свободный по переменным      198
Тест приемочный      256—257
Тестирование      169
Тестирование индивидуальное      181
Тестирование интегральное      181
Тестирование итераторов      178
Тестирование методом черного ящика      171 174
Тестирование на основании текста программы      174
Тестирование полномаршрутное      174 175
Тестирование спецификации      171
Тестирование средства      183
Тестирование типов данных      178
Тип any      344 366
Тип cvt      333
Тип oneof      375
Тип rep      333
Тип type      333
Тип variant      377
Тип абстрактный      355
Тип включение      337
Тип встроенный      358
Тип данных      17 36 280
Тип данных защищенность      22 327
Тип данных индукция      101
Тип данных использующий неупорядоченный массив      325
Тип итераторный      378
Тип надежность      327
Тип операции      278
Тип операции адекватный      308
Тип параметризованный      325
Тип представления      355
Тип процедурный      378
Тип спецификация      333
Тип стекоориентироваиный      325
Трейт      197—213 239
Трейт INTSET_SPEC      246
Трейт импортирование      207
Трейт комбинирование      207
Трейт конструирование      211
Трейт частичный      198
Файл временный      268
Файл дата модификации      386
Файл загрузочный      379
Файл имя      379
Файл имя описание      380
Файл операции над      380
Файл определение      379
Файл промежуточный      268
Файл профильный      194
Файл текстовый      379
Файл тип      381
Фибоначчи число      194
Форматировщик модификация      403
Форматировщик реализация      393—399
Форматировщик текста      276—278
Формула полной корректности      226
Формула хорошо определенная      200—201
Функция down      70 73 344 354
Функция up      70 73 344 354
Функция абстракции      78—79 248—251 274
Функция декремента      232—233 235
Функция факториала      235
Язык Ада      324
Язык методология      327
Язык Паскаль      5 139 318—324
Язык Паскаль обработка исключительных ситуаций      141
Язык Паскаль передача параметров      140
Язык ПЛ/1      156 5
Язык спецификаций      196
Язык Турбо-Паскаль      140

О проекте