Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (1)Реферативна база даних (9)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Потиенко С$<.>)
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
1.

Колчин А. В. 
Обзор современных систем и методов верификации формальных моделей [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. - 2012. - № 4. - С. 75-88. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_9
Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
Попередній перегляд:   Завантажити - 407.579 Kb    Зміст випуску    Реферативна БД     Цитування
2.

Колчин А. В. 
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Проблеми програмування. - 2014. - № 2-3. - С. 146-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_19
Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а также гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний.
Попередній перегляд:   Завантажити - 405.672 Kb    Зміст випуску    Реферативна БД     Цитування
3.

Потиенко С. В. 
Организация базы знаний о переходах системы с атрибутами перечислимых типов [Електронний ресурс] / С. В. Потиенко // Управляющие системы и машины. - 2012. - № 6. - С. 49-52. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_7
Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.
Попередній перегляд:   Завантажити - 423.61 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Летичевский А. А. 
Свойства предикатного трансформера системы VRS [Електронний ресурс] / А. А. Летичевский, А. Б. Годлевский, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 3-16. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_2
Попередній перегляд:   Завантажити - 147.659 Kb    Зміст випуску     Цитування
5.

Колчин А. В. 
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Штучний інтелект. - 2015. - № 1-2. - С. 127-136. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2015_1-2_17
Попередній перегляд:   Завантажити - 330.836 Kb    Зміст випуску     Цитування
6.

Губа А. А. 
Метод извлечения логики поведения из промышленного программного кода на языке Кобол [Електронний ресурс] / А. А. Губа, А. В. Колчин, С. В. Потиенко // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 17-25. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3(spets
Цель работы - разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка Кобол. Разработана экспериментальная система, реализующая предложенные методы.
Попередній перегляд:   Завантажити - 796.803 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Колчин А. В. 
Метод генерации тестовых данных по исходному коду Java программ [Електронний ресурс] / А. В. Колчин, С. В. Потиенко // Штучний інтелект. - 2016. - № 3. - С. 50-58. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2016_3_8
Попередній перегляд:   Завантажити - 745.815 Kb    Зміст випуску     Цитування
8.

Волков В. А. 
Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ [Електронний ресурс] / В. А. Волков, А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Штучний інтелект. - 2017. - № 2. - С. 71-84. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2017_2_10
Попередній перегляд:   Завантажити - 1.146 Mb    Зміст випуску     Цитування
9.

Колчин А. В. 
Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем [Електронний ресурс] / А. В. Колчин, С. В. Потиенко // Штучний інтелект. - 2018. - № 2. - С. 51-58. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2018_2_8
Попередній перегляд:   Завантажити - 748.136 Kb    Зміст випуску     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

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