Поисковый запрос: (<.>K=программное обеспечение эвм<.>) |
Общее количество найденных документов : 24
Показаны документы с 1 по 24 |
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-3675
Ключников, К. К. Повышение эффективности функционирования вычислительных систем на основе аналитических методов оценки влияния сбоев программного обеспечения [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.01 / К. К. Ключников. - М., 2011. - 20 с. : ил. - Библиогр.: с. 19-20 (7 назв.) В надзаг.: Ин-т проблем управления им. В.А. Трапезникова
Кл.слова (ненормированные): программное обеспечение эвм -- надежность -- вычислительные системы -- эффективность
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-7257
Воинов, Н. В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Н. В. Воинов. - СПб., 2011. - 22 с. : ил. - Библиогр.: с. 21-22 (9 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- тестирование -- тестовые сценарии -- разработка -- UCM-модели -- трудоемкость -- автоматизация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-8593
Таганов, А. И. Научные основы идентификации, анализа и мониторинга проектных рисков качества программных изделий в условиях нечеткости [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.12, 05.13.11 / А. И. Таганов. - Рязань, 2011. - 36 с. : ил. - Библиогр.: с. 33-36 (64 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- качество -- автоматизация проектирования -- case-технологии -- проектные риски -- нечеткость проектных данных
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-9452
Новой, А. В. Система анализа архитектурной надежности программного обеспечения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01, 05.13.11 / А. В. Новой. - Красноярск, 2011. - 21 с. : ил. - Библиогр.: с. 20-21(15 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- надежность -- проектирование -- мультиверсионные методы -- программная избыточность
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| АР10-29809
Бураков, В. В. Модели оценивания и алгоритмы управления качеством программных средств [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.11 / В. В. Бураков. - СПб., 2010. - 42 с. : ил. - Библиогр.: с. 40-42 (35 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- управление качеством -- оценивание качества -- математические модели -- алгоритмы -- формализация процесса
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-20446
Благодаренко, А. В. Разработка метода, алгоритмов и программ для автоматического поиска уязвимостей программного обеспечения в условиях отсутствия исходного кода [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / А. В. Благодаренко. - Таганрог, 2011. - 24 с. : ил. - Библиогр.: с. 22-24 (12 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- безопасность -- подверженность атакам -- тестирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-25407
Старолетов, С. М. Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / С. М. Старолетов. - Новосибирск, 2011. - 20 с. : ил. - Библиогр.: с. 19-20 (21 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- вычислительные системы распределенные -- тестирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-516
Коркин, И. Ю. Методика обнаружения нелегитимного программного обеспечения, использующего технологию аппаратной виртуализации [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / И. Ю. Коркин. - М., 2011. - 21 с. : ил. - Библиогр.: с. 20-21 (10 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- информационная безопасность -- технология аппаратной виртуализации -- нелегитимное программное обеспечение -- методика обнаружения
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-3443
Кирносенко, С. И. Метод прогнозирования дефектов в компонентах программного обеспечения на основе метрик исходного кода [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / С. И. Кирносенко. - Волгоград, 2012. - 19 с. : ил. - Библиогр.: с. 18-19 (12 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- дефекты -- прогнозирование -- тестирование -- распределение ресурсов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-14102
Гуров, Д. В. Методы и средства противодействия атакам на компьютерные системы, основанным на использовании уязвимостей программного кода [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11, 05.13.19 / Д. В. Гуров. - М., 2012. - 26 с. : ил. - Библиогр.: с. 24-26 (16 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- программный код -- уязвимость -- методы противодействия атакам
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-16470
Седунов, А. А. Формальная модель контекстно-зависимых программных структур и их преобразований в применении к методологии Language-Driven Development [Текст] : автореф. дис. ... канд. техн. наук : 05.13.17 / А. А. Седунов. - Воронеж, 2012. - 17 с. - Библиогр.: с. 16-17 (12 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- проектирование -- открытая архитектура языков -- метапрограммирование -- методология LDD -- объектно-ориентированное программирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>12. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-18029
Аветисян, А. И. Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.11 / А. И. Аветисян. - М., 2012. - 37 с. - Библиогр.: с. 33-37 (51 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- качество
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>13. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар13-2141
Базин, А. С. Разработка моделей и алгоритмов тестирования программных комплексов на основе принципа декомпозиции [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / А. С. Базин. - Н.Новгород, 2012. - 23 с. : ил. - Библиогр.: с. 22-23 (12 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- тестирование -- автоматизация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>14. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар13-8145
Патрушева, А. А. Управление проектами по созданию инновационных программных продуктов [Текст] : автореф. дис. ... канд. экон. наук : 08.00.05 / А. А. Патрушева. - Иркутск, 2013. - 18 с. - Библиогр.: с. 18 (7 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- разработка -- инновации -- управление проектами
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>15. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-31075
Аветисян, А. И. Современные методы статистического и динамического анализа программ для решения приоритетных проблем программной инженерии [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.11 / А. И. Аветисян. - М., 2011. - 36 с. - Библиогр.: с. 33-36 (43 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- проектирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>16. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар13-14611
Вигура, А. Н. Модели и методы тестирования программных систем на основе алгебраического подхода [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / А. Н. Вигура. - Н.Новгород, 2013. - 24 с. : ил. - Библиогр.: с. 23-24 (15 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- тестирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>17. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар13-17699
Тетерев, М. А. Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / М. А. Тетерев. - М., 2013. - 20 с. : ил. - Библиогр.: с. 19-20 (12 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- отладка -- программные ошибки
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>18. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар13-18345
Егоров, К. В. Генерация управляющих автоматов на основе генетического программирования и верификации [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / К. В. Егоров. - СПб., 2013. - 16 с. : ил. - Библиогр.: с. 15-16 (11 назв.)
Кл.слова (ненормированные): программное обеспечение эвм -- проектирование -- автоматизация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>19. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-1298
Полицын, С. А. Математическая модель и система планирования проектов разработки программного обеспечения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.18 / С. А. Полицын. - М., 2013. - 20 с. : ил. - Библиогр.: с. 19-20. - 100 экз.
Кл.слова (ненормированные): программное обеспечение эвм -- проектирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>20. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-5553
Тютин, Б. В. Методы автоматизации распределенного тестирования реактивных систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Б. В. Тютин. - СПб., 2013. - 18 с. - Библиогр.: с. 18. - 100 экз.
Кл.слова (ненормированные): программное обеспечение эвм -- тестирование -- автоматизация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>21. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-5864
Никифоров, И. В. Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / И. В. Никифоров. - СПб., 2013. - 22 с. - Библиогр.: с. 21-22. - 100 экз.
Кл.слова (ненормированные): программное обеспечение эвм -- верификация -- автоматизация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>22. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-8784
Копычев, В. А. Квалиметрические модели и средства управления качеством процесса разработки программного обеспечения [Текст] : автореф. дис. ... канд. техн. наук : 05.02.23 / В. А. Копычев. - СПб., 2014. - 19 с. - Библиогр.: с. 18-19 (13 назв.). - 100 экз.
Кл.слова (ненормированные): программное обеспечение эвм -- качество
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>23. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-10684
Полицын, С. А. Математическая модель и система планирования проектов разработки программного обеспечения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.18 / С. А. Полицын. - М., 2014. - 20 с. : ил. - Библиогр.: с. 19-20 (12 назв.). - 100 экз.
Кл.слова (ненормированные): программное обеспечение эвм -- проектирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>24. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар15-3201
Старцев, Е. В. Разработка алгоритмов и моделирование динамической типизации в программах для технических систем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / Е. В. Старцев. - Челябинск, 2015. - 19 с. : ил. - Библиогр.: с. 18-19 (12 назв.). - 100 экз.
Кл.слова (ненормированные): программное обеспечение ЭВМ
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|