РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (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 //
Пробл. програмув
.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського