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

Бази даних

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

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

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


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

Колчин А. В. 
Оптимизация проверки выполнимости переходов при верификации формальных моделей [Електронний ресурс] / А. В. Колчин // Проблеми програмування. - 2012. - № 2-3. - С. 201-210. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_2-3_26
Попередній перегляд:   Завантажити - 473.574 Kb    Зміст випуску     Цитування
2.

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

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

Богорад В. І. 
Глибоководний навігаційний ехолот [Електронний ресурс] / В. І. Богорад, А. В. Колчин, П. В. Куроєдов, В. Д. Лихтецький, А. П. Мартинюк, М. П. Терлецький, В. І. Простомолотов, Ю. А. Ромасевич // Гідроакустичний журнал. - 2013. - № 10. - С. 53-59. - Режим доступу: http://nbuv.gov.ua/UJRN/gaj_2013_10_9
Попередній перегляд:   Завантажити - 303.631 Kb    Зміст випуску     Цитування
5.

Колчин А. В. 
Прийомний тракт навігаційного ехолота на основі програмованих аналогових структур [Електронний ресурс] / А. В. Колчин, В. Д. Лихтецький, А. П. Мартинюк, В. І. Простомолотов, Ю. А. Ромасевич // Гідроакустичний журнал. - 2013. - № 10. - С. 60-63. - Режим доступу: http://nbuv.gov.ua/UJRN/gaj_2013_10_10
Попередній перегляд:   Завантажити - 221.906 Kb    Зміст випуску     Цитування
6.

Колчин А. В. 
Метод генерации тестовых сценариев в среде инсерционного моделирования [Електронний ресурс] / А. В. Колчин, В. П. Котляров, П. Д. Дробинцев // Управляющие системы и машины. - 2012. - № 6. - С. 43-48, 63. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_6
Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем.
Попередній перегляд:   Завантажити - 695.327 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Колчин А. В. 
Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем [Електронний ресурс] / А. В. Колчин // Штучний інтелект. - 2013. - № 4. - С. 113-126. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2013_4_15
Попередній перегляд:   Завантажити - 729.218 Kb    Зміст випуску     Цитування
8.

Колчин А. В. 
Автоматический метод динамического построения абстракций состояний формальной модели [Електронний ресурс] / А. В. Колчин // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 70-90. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_8
Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягнуто за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної.
Попередній перегляд:   Завантажити - 217.939 Kb    Зміст випуску    Реферативна БД     Цитування
9.

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

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

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

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

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

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