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