Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 188
Представлено документи з 1 до 20
|
| |
1. | ВА609929 Корченко О. Г.Нац. авіац. ун-т. Захист та зламування програм [Текст] : Навч. посіб. для студ. напряму "Інформ. безпека"
|
2. | Ж16833 Коротун Т. М. Модель определения критерия завершения тестирования на основе анализа риска отказа и ее реализация [Текст]: 1-2 // Пробл. программирования.-С.63-68
|
3. | Ж16833 Коротун Т. М. Совершенствование процесса тестирования программного обеспечения [Текст] / Т. М. Коротун: 3 // Пробл. программир.-С.59-64
|
4. | ВА602064 Канер С. Тестирование программного обеспечения [Текст]
|
5. | Ж16833 Бернатович О. В. Функциональное тестирование программного обеспечения информационно-расчетного типа [Текст] / О. В. Бернатович, Г. И. Коваль, Т.М. Коротун: 3 // Пробл. программир.-С.51-58
|
6. | ВС36331 Макгрегор Д. Тестирование объектно-ориентированного программного обеспечения [Текст] : Практ. пособие: Пер. с англ.
|
7. | ВА614252 Канер С. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений [Текст] : Пер. с англ.
|
8. | Ж29144 Котляров В. П. Входной язык описания тестов на основе расширенных MSC диаграмм [Текст]: 1 // Кибернетика и систем. анализ.-С.52-62
|
9. | Ж16833 Демская-Кульчицкая О. М. Организация и ведение лексической картотеки украинского языка [Текст]: 1-2 [спец. вып.] // Пробл. программирования.-С.512-515
|
10. | Ж14024 Харченко В. С. Оценка верификации критического программного обеспечения: критерии, модели и реализация [Текст]: 6 // Управляющие системы и машины.-С.60-68
|
11. | Ж29144 Баранов С. Н. Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами [Текст]: 6 // Кибернетика и систем. анализ.-С.3-11
|
12. | Ж16833 Гречко А. В. Стандартизация украинского алфавита [Текст]: 1-2 [спец. вып.] // Пробл. программирования.-С.506-511
|
13. | Ж16833 Матвеева Л. Е. Формальное представление и анализ свойств асинхронных динамических систем [Текст]: 1-2 [спец. вып.] // Пробл. программирования.-С.168-174
|
14. | Ж16833 Крывый С. Л. Формальные методы в исследовании свойств программных систем [Текст]: 1-2 [спец. вып.] // Пробл. программирования.-С.147-153
|
15. | Ж29144 Непомнящий В. А. Верификация финитных итераций над наборами изменяемых структур данных [Текст] 43: 3 // Кибернетика и систем. анализ.-С.33-46
|
16. | Ж24450 Дубницкий В. Ю. Интервальное решение обратной задачи оценки эффективности тестирования компьютерных программ [Текст]: 8 // Радіоелектрон. і комп'ют. системи.-С.181-183
|
17. | Ж15477 Говорущенко Т. О. Інтелектуальна система визначення необхідності повторного тестування програмного забезпечення [Текст]: 4 // Искусств. интеллект.-С.706-712
|
18. | Ж24450 Долгов Ю. А. Количественная оценка надежности программного обеспечения [Текст]: 6 // Радіоелектрон. і комп'ют. системи.-С.159-161
|
19. | Ж15664 Райчев І. Е. Конструювання програм створення тестових наборів даних на базі автоматних моделей [Текст]: 3 // Мат. машини і системи.-С.127-136
|
20. | Ж16833 Коротун Т. М. Моделі і методи тестування програмних систем [Текст]: 2 // Пробл. програмув.-С.76-84
|
| |