Показ
1 - 3
результатів із
3
для пошуку '
Guba, A.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Знайти
Розширений
Автор
Guba, A.
Показ
1 - 3
результатів із
3
для пошуку '
Guba, A.
'
, час виконання запиту: 0.01сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством
Guba, A.A.
Опубліковано 2014
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Deductive verification of requirements for event-driven architecture
за авторством
Letichevsky, A.
,
Letychevskyi, О.
,
Peschanenko, V.
,
Guba, A.
Опубліковано 2013
Отримати повний текст
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Метод видобування логіки поведінки з промислового програмного коду на мові Кобол
за авторством
Guba, A.A.
,
Kolchin, A.V.
,
Potiyenko, S.V.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
Cobol
UDC 004.416
abstraction
debugging
modeling
test generation
translation
Кобол
Методи та засоби програмної інженерії
УДК 004.416
Формальні методи розробки програмного забезпечення
абстракция
абстракція
відлагодження
генерация тестов
генерація тестів
моделирование
моделювання
отладка
трансляция
трансляція