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

Бази даних

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Коротун Т. М. Моделі і методи тестування програмних систем. — 2007 // Пробл. програмув.
19.

Рожнов А. М. Модель перевірки компонентів та їх композиції у компонентну систему. — 2006 // Пробл. програмув.
20.

Непомнящий В. А. На пути к верификации C-программ. Язык C-light и его трансформационная семантика. — 2006 // Пробл. програмув.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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