РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (69)Журнали та продовжувані видання (1)Автореферати дисертацій (8)
Пошуковий запит: (<.>U=З973-018.025$<.>)
Загальна кількість знайдених документів : 188
Представлено документи з 1 до 20
...
1.

Корченко О. Г. Захист та зламування програм : Навч. посіб. для студ. напряму "Інформ. безпека". — К., 2001
2.

Коротун Т. М. Модель определения критерия завершения тестирования на основе анализа риска отказа и ее реализация. — 2001 // Пробл. программирования.
3.

Коротун Т. М. Совершенствование процесса тестирования программного обеспечения . — 1998 // Пробл. программир..
4.

Канер С.  Тестирование программного обеспечения. — 2-е изд. — К.: ДиаСофт, 2000
5.

Бернатович О. В. Функциональное тестирование программного обеспечения информационно-расчетного типа . — 1998 // Пробл. программир..
6.

Макгрегор Д.  Тестирование объектно-ориентированного программного обеспечения : Практ. пособие: Пер. с англ. — К.; СПб.; М.: Торг.-издат. дом DiaSoft, 2002
7.

Канер С.  Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений : Пер. с англ. — К.: ДиаСофт; М., 2001
8.

Котляров В. П. Входной язык описания тестов на основе расширенных MSC диаграмм. — 2004 // Кибернетика и систем. анализ.
9.

Демская-Кульчицкая О. М. Организация и ведение лексической картотеки украинского языка. — 2002 // Пробл. программирования.
10.

Харченко В. С. Оценка верификации критического программного обеспечения: критерии, модели и реализация. — 2003 // Управляющие системы и машины.
11.

Баранов С. Н. Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами. — 2003 // Кибернетика и систем. анализ.
12.

Гречко А. В. Стандартизация украинского алфавита. — 2002 // Пробл. программирования.
13.

Матвеева Л. Е. Формальное представление и анализ свойств асинхронных динамических систем. — 2002 // Пробл. программирования.
14.

Крывый С. Л. Формальные методы в исследовании свойств программных систем. — 2002 // Пробл. программирования.
15.

Непомнящий В. А. Верификация финитных итераций над наборами изменяемых структур данных. — 2007 // Кибернетика и систем. анализ.
16.

Дубницкий В. Ю. Интервальное решение обратной задачи оценки эффективности тестирования компьютерных программ. — 2007 // Радіоелектрон. і комп'ют. системи.
17.

Говорущенко Т. О. Інтелектуальна система визначення необхідності повторного тестування програмного забезпечення. — 2006 // Искусств. интеллект.
18.

Долгов Ю. А. Количественная оценка надежности программного обеспечения. — 2007 // Радіоелектрон. і комп'ют. системи.
19.

Райчев І. Е. Конструювання програм створення тестових наборів даних на базі автоматних моделей. — 2006 // Мат. машини і системи.
20.

Коротун Т. М. Моделі і методи тестування програмних систем. — 2007 // Пробл. програмув.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського