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

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

blank
blank
blank
Красота
blank
Майерс Г., Галимов Ю.Ю. (пер.), Кауфман В.Ш. (ред.) — Надежность программного обеспечения
Майерс Г., Галимов Ю.Ю. (пер.), Кауфман В.Ш. (ред.) — Надежность  программного  обеспечения



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



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


Название: Надежность программного обеспечения

Авторы: Майерс Г., Галимов Ю.Ю. (пер.), Кауфман В.Ш. (ред.)

Аннотация:

Первая на русском языке монография по надежности программного обеспечения. Разработка программного комплекса рассматривается в книге во всей полноте — от подготовки технического задания до документации отдельных модулей. Ценно, что теоретическое исследование каждой проблемы сопровождается конкретными рекомендациями по ее решению. Каждая глава завершается библиографией, содержащей важнейшие работы по затронутым в главе вопросам.
Многие специалисты — от программистов до руководителей программистских коллективов — извлекут из этого издания несомненную пользу.


Язык: ru

Рубрика: Computer science/

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
ads      50
ASES      215—216 259
Aut      212—214
AUTOFLOW      259
B1700      308
B6500      302
Cross-Program Analizer      259
DACC      351
DB/DC      244
DOS/VS      261
DSS      256
EFFIGY      325—327
EXDAMS      256
GO TO      134 137—138 281 290—291
HIPO-диаграммы      53 150 268
IEBDG      219
Information Algebra      50
ISPL      302 304
MIL-S      212
MTS      214
MULTICS      147 256 305
MUSE      244
n плюс-минус один      46—47 61 73 90 2
NORAD      244
OS/360      97 119 123 124 196 230 236
OS/VS1      256 340
OS/VS2      116 231 256 340
PANVALET      346—346
PERT-диаграммы      183
PET      216
PL/C      257
Prime      116—118
PROW      326
R-2      302
RESPOND      244
RXVP      215
SAGE      17
SBS      346—347
Series-J      216
Simon      349
SMP      260
SUE      280 285 295
Symbol      307
SYSTEM-      250 304
Tag      60
TESTMASTER      214—215
the      81—82
Titan      179
TSO      239
TSPS      121—122
TSS      181
Vista      323—324
VM/370      246
Абстрактная машина      79
Абстракции уровень      79—83
Автоматические доказательства правильности программ      322—324
Адаптируемость      55 60 96
Активации блок      305
Архитектура системы      38 78—90 265 266
Аттестация      174
Базы данных проектирование      39 266
Безличное программирование      147—149 269
Безопасность      56 59 117 124 303
Библиотека обеспечения разработки      344—351
Библиотекарь, программист      267—269 270 271 345
Блок-схема      131 149—150 200 317
Большого скачка метод тестирования      188 191
Бригада ведущего программиста      269—271
Бригада демократическая      271—272
Бригада программистов      269—272
Бригада хирургическая      269—272
Венера, операционная система      81—83
Версии файла      345—346
Виртуальная машина      245
Вклинивания точки      255 302 306
Внешнее проектирование модуля      39 127—129
Внешнее проектирование программной системы      37 62—75 264 265 266
Внешние спецификации      62 68—75
Восходящий метод тестирования      180—183 191
Второй программист      270
Выделенный путь      316
Глобальные данные      81 96—97 100 289 320
Граничные условия      113 202 203
Группы      346—347
Гэннона эксперимент      277
Дамп      255 258—259 302 346
Диагностический монитор      119
Диаграмма управления      206 215
Динамическое чтение программы      152—153
Доказательство      174
Единообразие      278—280 283—284
Заглушка      184—186 189
Защита данных      56 59 117 124 303
Защитное программирование      141—146 220
Иерархическая структура      40 79
Изменения проекта процесс      76
Изоляция ошибок      36 56 122—124
Имитатор терминала      243
Инвариант цикла      315
Индуктивных утверждений метод      311—327
Интеграция системы      180—192 229—233
Интеграция системы непрерывная      230—231
Исправление ошибок      33 34 120—121
Испытание      174
Календарный план      56
Когнитивный диссонанс      147—149
Комментарии      140 150—151 164—165
Композиционный анализ      100—112
Контролируемый пользователем проект      49
Контроль      174
Конфигурация системы      84
Конфигурация системы непрямая      84
Конфигурация системы прямая      84
Концептуальная целостность      41 62 116 280
Логика модуля      93
Макроэффективность      160—164
Математическое программное обеспечение      194
Матрица зависимостей полная      341—342
Машина с языком высокого уровня      307—308
МетаКобол      216
Метод Брауна — Сэмпсона      251
Методология проектирования      78
Микроэффективность      160—164
Мобильность      82
Модуль      92 287 305
Модуля внешнее проектирование      39 127—129 202
Модуля логики проектирование      39 127
Надежности функция      330
Надежность аппаратуры      15 329—330
Надежность программного обеспечения      13
Наивысшей абстракции точка      101
Независимость      40 93
Независимый от пользователя проект      49
Нисходящий метод тестирования      183—186
Нисходящий модифицированный метод тестирования      186—188
Обнаружение ошибок      33 34 114—119
Обнаружение ошибок активное      114 118—119
Обнаружение ошибок пассивное      114—116
Общность      54
Опытная эксплуатация      239
Отказов функция      330
Отладка      175 250—262
Ошибка в программном обеспечении      10—12
Перевода макромодель      22—26
Перевода микромодель      27—28
Перевода ошибка      22—28 70 193
Побочный эффект      41 211 229 320
Позиция программиста      147—149
Пользователь, взаимодействие      64—68
Порт      83—88
Порт входной вторичный      84—88
Порт входной первичный      83—88
Порт выходной      84—88
Посылки/получения механизм      83—88
Пошаговая детализация      79 131 138—140
Предсказуемый модуль      99
Предупреждение ошибок      33
Преобразование данных автоматическое      167 284—287 302
Проект исследовательский      72
Проект, разработка      72
Проектирования ошибки      15
Производственный дефект      15
Промежуточная переменная      157
Процесс      83—88
Прочность модуля      93—96
Прочность модуля информационная      95
Прочность модуля коммуникационная      95
Прочность модуля по классу      94
Прочность модуля по логике      94
Прочность модуля по совпадению      94
Прочность модуля процедурная      94
Прочность модуля функциональная      95
Проявление связей      41
Психологические факторы      55
Разбиение STS      101—102
Разбиение операционное      101—102
Разбиение функциональное      101—102
Раздвоение      283
РАСЕ      216
Регистрация ошибок      116
Регрессии тест      220 232
Решение задачи      43—46
Риска функция      330
Руби эксперимент      277 282 290 293 320
Сандвича метод тестирования      188—189
Сандвича модифицированный метод тестирования      189
Сбой      15
Сборочный узел      231
Семантический разрыв      299 300 304
Символическое выполнение      324—336
Синтез программ автоматический      326—327
Сквозной контроль      73—74 90 113 152—153
Сложность      40 340—342
Совместимость      59
Сопровождение      17 55
Спин      230
Среднее время между отказами (СВМО)      11 60 330 331 336
Стандарты      59 151 350
Статическое чтение программы      112—113 152
Стоимость программного обеспечения      9 17—18 56
Структурное программирование      41 131 134—138 290
Сцепление модулей      96—99
Сцепление модулей по внешним данным      97
Сцепление модулей по данным      98
Сцепление модулей по общей области      96
Сцепление модулей по содержимому      96
Сцепление модулей по управлению      97
Сцепление модулей по формату      98
Таблицы решений      70 225—228
Тестирование автономное      175 119—219
Тестирование внешних функций      175 219—248
Тестирование защиты      235
Тестирование комплексное      175 233—245
Тестирование конфигурации      235
Тестирование надежности/готовности      236
Тестирование настройки      175 236 248—249
Тестирование объема      234—235
Тестирование приемлемости      175 248
Тестирование производительности      236
Тестирование психологических факторов      237
Тестирование публикаций      237
Тестирование регрессии      220 232
Тестирование совместимости      235
Тестирование сопряжений      175 229—233
Тестирование средств восстановления      236
Тестирование стрессов      234
Тестирование требований к памяти      236
Тестирование удобства обслуживания      237
Тестирование удобства эксплуатации      237
Требования к программному обеспечению      37 49—53 248 265
Тэг      115
Управляемый пользователем проект      49
Условия верификации      311—327
Устойчивость к ошибкам      33 35 120—121
Утверждение, утвердительное предложение      296 311
Фабрика программного обеспечения      347—348
Фоннеймановская модель ЭВМ      300—308
Функциональные границы      203
Функциональные диаграммы      75 221—229
Функция модуля      93
Цели программного обеспечения      37 45 53—62
Цели продукта      54 59—60
Цели проекта      54 60—61
Чувствительность к данным      179—180 202—203 209
Эффективность      57 59 69 160—161 236
Эшкрофта — Манны метод      137
Языки программирования      134—137 146—147 159—160 257—258 275—296 320
«Подпорка»      231
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте