Пошуковий запит: (<.>U=З973-018.025<.>) |
Загальна кількість знайдених документів : 182
Представлено документи з 1 до 20
|
| |
1. |
Letichevsky A. Satisfiability for symbolic verification in VRS // Управляющие системы и машины. - 2013. - № 3.
|
2. |
Starov O. Cloud services and tools for mobile testing // Радіоелектрон. і комп'ют. системи. - 2013. - № 5.
|
3. |
Крывый С. Л. Верификация программ: состояние, проблемы, результаты. II // Кибернетика и систем. анализ. - 2014. - 50, № 1.
|
4. |
Ротштейн О. П. Нечітке прогнозування надійності алгоритмів, що враховують помилки різних типів // Вісн. Вінниц. політехн. ін-ту. - 2005. - № 4.
|
5. |
Крывый С. Л. Верификация программ: состояние, проблемы, результаты. I // Кибернетика и систем. анализ. - 2013. - 49, № 6.
|
6. |
Свірідова Т. Дослідницьке тестування як засіб підвищення якості аплікації // Вісн. Нац. ун-ту "Львів. політехніка". - 2013. - № 751.
|
7. |
Максимець О. М. Алгебро-автоматні методи аналізу процедурних програм і реактивних систем : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01. — Київ, 2014
|
8. |
Бахрушин А. В. Тестирование гипотез о нелинейных связях с использованием языка программирования R // Систем. технології. - 2013. - № 3.
|
9. |
Glukhikh М. A static analysis approach for formal verification of SystemC designs // Радіоелектрон. і комп'ют. системи. - 2013. - № 5.
|
10. |
Меленец А. В. Защита cloud-архитектур от DDoS-атак // Радіоелектрон. і комп'ют. системи. - 2013. - № 5.
|
11. |
Савенко О. С. Побудова адаптивної інформаційної технології діагностування комп'ютерних систем на наявність троянських програм // Вісн. Вінниц. політехн. ін-ту. - 2011. - № 5.
|
12. |
Летичевский (мл.) А. А. Парадигмы модельного и символьного тестирования программных систем // Кибернетика и систем. анализ. - 2015. - 51, № 5.
|
13. |
Руда О. А. Методи та моделі тестування програмного забезпечення // Проблеми інформатизації та упр. : зб. наук. пр. - 2013. - 2, вип. 42.
|
14. |
Герасимов В. В. Исследование технологий автоматизированного тестирования // Систем. технології. - 2015. - № 1.
|
15. |
Богдан І. В. Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм : автореф. дис. ... канд. техн. наук : 05.13.06. — Чернігів, 2015
|
16. |
Дуденко С. В. Аналіз та дослідження інструментів автоматизації тестування при розробці комплексу програм автоматизованої системи конструювання розкладу занять // Зб. наук. пр. Харків. ун-ту Повітр. сил. - 2015. - Вип. 4.
|
17. |
Дерев'янченко О. В. Сучасні підходи до автоматизованого тестування користувацького інтерфейсу під ОС Android // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Спец. вип.
|
18. |
Яковина В. С. Моделювання параметра потоку відмов програмного забезпечення та визначення діапазонів показника його складності // Вісн. Нац. ун-ту "Львів. політехніка". - 2014. - № 806.
|
19. |
Лысенко И. А. Исследование уровней тестирования программного обеспечения инфотелекоммуникационных систем // Наука і техніка Повітр. сил Збройн. сил України. - 2014. - № 4.
|
20. |
Гордеев А. А. Элементы методологии профилеориентированного оценивания качества программного обеспечения информационных систем // Проблеми інформатизації та упр. : зб. наук. пр. - 2014. - 3, вип. 47.
|
| |