Поисковый запрос: (<.>U=004.415.5(043)<.>) |
Общее количество найденных документов : 39
Показаны документы с 1 по 30 |
|
1. 
| Ар11-7130
Кузьмин, Е. В.
Алгоритмические свойства формальных моделей параллельных и распределенных систем [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / Е. В. Кузьмин. - Ярославль, 2011. - 43 с. : ил. - Библиогр.: с. 38-43 (42 назв.)
Кл.слова (ненормированные):
параллельные вычисления -- вычислительные системы распределенные -- формальные модели -- верификация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| Ар10-24611
Булычев, П. Е.
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Е. Булычев. - М., 2010. - 28 с. : ил. - Библиогр.: с. 27-28 (10 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные):
программы для эвм -- верификация -- реструктуризация -- математические методы -- алгоритмы -- формальный язык -- структуры крипке -- проверка симуляций -- обнаружение клонов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| Ар09-8037
Тихомиров, В. А.
Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / В. А. Тихомиров. - СПб., 2009. - 19 с. : ил. - Библиогр.: с. 19(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| Ар12-10501
Марьясов, И. В.
Верификация C-программ с помощью смешанной аксиоматической семантики [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / И. В. Марьясов. - Новосибирск, 2012. - 18 с. - Библиогр.: с. 15-17 (11 назв.)
Кл.слова (ненормированные):
программы для эвм -- верификация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| Ар14-15489
Лукин, М. А.
Верификация автоматных программ [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / М. А. Лукин. - СПб., 2014. - 16 с. : ил. - Библиогр.: с. 15-16 (11 назв.). - 100 экз.
Кл.слова (ненормированные):
модели управляющих автоматов -- Spin-модель
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| Ар08-7785
Кубасов, С. В.
Верификация автоматных программ в контексте синхронного программирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / С. В. Кубасов. - Ярославль, 2008. - 19 с : ил. - Библиогр.: с. 18-19(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| Ар12-21106
Мутилин, В. С.
Верификация драйверов операционной системы Linux при помощи предикатных абстракций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. С. Мутилин. - М., 2012. - 26 с. : ил. - Библиогр.: с. 25-26 (14 назв.)
В надзаг.: Ин-т системного программированя Рос. акад. наук
Кл.слова (ненормированные):
операционная система Linux -- драйверы -- верификация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| Ар08-8313
Коннов, И. В.
Верификация параметризированных моделей распределенных систем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / И. В. Коннов. - М., 2008. - 26 с. - Библиогр.: с. 25-26(7 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| Ар05-1409
Саранцев, П. В.
Верификация программного обеспечения информационно-диагностического оборудования системы управления и защиты атомных энергетических реакторов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01, 05.13.11 / П. В. Саранцев. - М., 2004. - 27 с. : ил. - Библиогр.: с. 26(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| Ар03-1569
Царьков, Д. В.
Верификация распределенных программ методом проверки на модели [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / Д. В. Царьков. - М., 2002. - 21 с.
В надзаг.: МГУ им. М.В.Ломоносова, Фак. вычислит. мат. и кибернетики. Библиогр.: с. 20-21(12 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
11.
| Ар05-1414
Гаранина, Н. О.
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий [Текст] : автореф. дис. ... кнд. физ.-мат. наук : 05.13.11 / Н. О. Гаранина. - новосибирск, 2004. - 18 с. - Библиогр.: с. 17-18(7 назв.)
В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им.А.П.Ершова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
12.
| АР10-29867
Ключников, И. Г.
Выявление и доказательство свойств функциональных программ методами суперкомпиляции [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05/13/11 / И. Г. Ключников. - М., 2010. - 20 с. - Библиогр.: с. 20 (10 назв.)
Кл.слова (ненормированные):
программы для эвм -- верификация -- программирования язык Haskell
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
13.
| АР91-4632
Бондарев, М. Ю.
Инструментально-методический комплекс оценки надежности прикладных программных средств [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев. - Тверь, 1991. - 17 с. : ил
В надзаг.: Твер.политехн.ин-т. Библиогр.: с. 16-17(5назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
14.
| Ар06-10362
Дробинцев, П. Д.
Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / П. Д. Дробинцев. - СПб., 2006. - 18 с. - Библиогр.: с. 18 (9 назв.). - 100 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
15.
| Ар07-2409
Мишкутенок, В. В.
Информационное обеспечение оценки качества программного продукта при управлении процессом тестирования технической документации [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / В. В. Мишкутенок. - СПб., 2005. - 23 с : ил. - Библиогр.: с. 22-23(11 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
16.
| АР92-6223
Мадан, В. И.
Исследование и анализ количественных характеристик качества программ [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. И. Мадан. - Киев, 1992. - 18 с.
В надзаг.: АН Украины,Ин-т кибернетики им.В.М.Глушкова. Библиогр.: с. 16-18(19 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
17.
| Ар14-8784
Копычев, В. А.
Квалиметрические модели и средства управления качеством процесса разработки программного обеспечения [Текст] : автореф. дис. ... канд. техн. наук : 05.02.23 / В. А. Копычев. - СПб., 2014. - 19 с. - Библиогр.: с. 18-19 (13 назв.). - 100 экз.
Кл.слова (ненормированные):
программное обеспечение эвм -- качество
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
18.
| Ар03-12242
Нешта, Е. П.
Классификация и оценка качества программных средств с использованием базы характеристик качества [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / Е. П. Нешта. - М., 2003. - 24 с. : ил.
Библиогр.: с. 21-24(17 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
19.
| Ар06-14244
Протас, Д. В.
Математическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Д. В. Протас. - М., 2006. - 18 с. - Библиогр.: с. 18 (10 назв.). - 100 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
20.
| Ар06-9404
Худов, К. А.
Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / К. А. Худов. - М., 2006. - 20 с. : ил. - Библиогр.: с. 19-20(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
21.
| Ар09-1932
Зыков, А. Г.
Методы верификации аппаратно-программных компонентов вычислительных систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / А. Г. Зыков. - СПб., 2008. - 23 с : ил. - Библиогр.: с. 19-23(36 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
22.
| Ар10-10404
Пучков, Ф. М.
Методы и средства автоматизированного обнаружения уязвимостей в программах на языке C на основе статического анализа их исходных текстов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.19 / Ф. М. Пучков. - М., 2010. - 24 с. : ил. - Библиогр.: с. 22-24 (10 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
23.
| АР92-4417
Бекетова, Е. А.
Методы и средства оценки качества программ имитационных моделей [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова. - Харьков, 1992. - 16 с.
В надзаг.: Харьк.ин-т радиоэлектроники им.М.К.Янгеля. Библиогр.: с. 15-16(11 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
24.
| АР10-29809
Бураков, В. В.
Модели оценивания и алгоритмы управления качеством программных средств [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.11 / В. В. Бураков. - СПб., 2010. - 42 с. : ил. - Библиогр.: с. 40-42 (35 назв.)
Кл.слова (ненормированные):
программное обеспечение эвм -- управление качеством -- оценивание качества -- математические модели -- алгоритмы -- формализация процесса
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
25.
| Ар09-250
Торшенко, Ю. А.
Модель и метод обнаружения уязвимостей на начальных этапах промышленного проектирования программного продукта [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / Ю. А. Торшенко. - СПб., 2008. - 23 с. : ил. - Библиогр.: с. 21-22(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
26.
| Ар05-3298
Прокофьева, Е. Ю.
Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / Е. Ю. Прокофьева. - СПб., 2004. - 15 c. - Библиогр.: с. 14-15
В надзаг.: С.-Петерб. гос. ун-т
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
27.
| Ар11-8593
Таганов, А. И.
Научные основы идентификации, анализа и мониторинга проектных рисков качества программных изделий в условиях нечеткости [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.12, 05.13.11 / А. И. Таганов. - Рязань, 2011. - 36 с. : ил. - Библиогр.: с. 33-36 (64 назв.)
Кл.слова (ненормированные):
программное обеспечение эвм -- качество -- автоматизация проектирования -- case-технологии -- проектные риски -- нечеткость проектных данных
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
28.
| Ар15-6365
Удалова, Ю. В.
Отладка и верификация функционально-потоковых параллельных программ [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Ю. В. Удалова. - Красноярск, 2015. - 22 с. : ил. - Библиогр.: с. 19-22 (20 назв.). - 100 экз.
Кл.слова (ненормированные):
программирование -- отладка -- надежность -- верификация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
29.
| Ар09-3530
Скрябин, А. М.
Повышение качества адаптируемого программного обеспечения управляющих ЭВМ на основе систем нечеткого вывода [Текст] : автореф. дис. ... канд. техн. нау : 05.13.11 / А. М. Скрябин. - Уфа, 2008. - 16 с. : ил. - Библиогр.: с. 14-16(15 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
30.
| Ар04-12397
Козюра, В. Е.
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. Е. Козюра. - Новосибирск, 2004. - 18 с. - Библиогр.: с. 17-18(10 назв.)
В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им.А.П.Ершова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных