Зображення обкладинки

Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения”

Рассмотрено обобщенное представление математической модели программной системы ИКОН, разработаны формальные модели ПС ИКОН, представленные в аналитическом виде UML-диаграмм. Описана трехуровневая архитектура ПС ИКОН в среде клиент-сервер, а также процесс разработки сложных программных систем. The gi...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2014
Автори:	Палагин, А.В., Петренко, Н.Г., Величко, В.Ю., Малахов, К.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2014
Теми:	Інтелектуальні інформаційні технології
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/113235
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко, К.С. Малахов // Проблеми програмування. — 2014. — № 2-3. — С. 221-232. — Бібліогр.: 20 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

К вопросу разработки инструментального комплекса онтологического назначения
за авторством: Палагин, А.В., та інші
Опубліковано: (2012)

О некоторых формальных моделях разработки нейросетевых алгоритмов в системе Гомеопат
за авторством: Катеринич, Л.А.
Опубліковано: (2010)

"Инструментальный" материал для атомной техники
за авторством: Панов, В.С., та інші
Опубліковано: (2012)

Доказательное проектирование алгоритмов функционирования реактивных систем
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2008)

Особенности разработки искусственной нейронной сети гибридной экспертной системы
за авторством: Коновалов, С.Н., та інші
Опубліковано: (2018)

Принципы построения архитектуры программной платформы для реализации алгоритмов метода группового учета аргументов
за авторством: Орлов, А.А.
Опубліковано: (2013)

Обзор баз знаний онтологического типа
за авторством: Никоненко, А.А.
Опубліковано: (2009)

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
за авторством: Тарасюк, О.М., та інші
Опубліковано: (2010)

Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2009)

Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста
за авторством: Львов, М.С.
Опубліковано: (2009)

Экосистемы программной инженерии
за авторством: Крывый, С.Л., та інші
Опубліковано: (2020)

Разработка алгоритмов функционирования процесса анализа решений по управлению предприятием
за авторством: Дурняк, Б., та інші
Опубліковано: (2010)

Асимптотические свойства формальных решений
за авторством: Жукова, Г.С., та інші
Опубліковано: (1987)

О конечной определенности формальных отображений
за авторством: Белицкий, Г.Р.
Опубліковано: (1986)

МОДЕЛЬ СЕМАНТИЧЕСКОГО РЕПОЗИТОРИЯ ТЕКСТОВЫХ ДОКУМЕНТОВ ДЛЯ ОНТОЛОГИЧЕСКОГО ПОРТАЛА МОНУ
за авторством: Рябова, Наталья Владимировна, та інші
Опубліковано: (2011)

Модель семантического репозитория текстовых документов для онтологического портала МОНУ
за авторством: Рябова, Н.В., та інші
Опубліковано: (2011)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Инструментальный контур спектрографа солнечного телескопа АЦУ-5 Главной астрономической обсерватории НАН Украины
за авторством: Осипов, С.Н.
Опубліковано: (2015)

Стандартизація процедур управління
за авторством: Горчакова, О.
Опубліковано: (2009)

Использование онтологического описания предметной области для повышения релевантности информационного поиска
за авторством: Рогушина, Ю.В.
Опубліковано: (2003)

Комплекс средств разработки прикладных программ на реконфигурируемых вычислительных системах
за авторством: Дордопуло, А.И., та інші
Опубліковано: (2009)

Послідовність використання аналітичних процедур при аудиті оборотних активів акціонерних товариств
за авторством: Сурніна, К.С.
Опубліковано: (2012)

Комплекс моделей и алгоритмов оптимизации характеристик сетей с технологией MPLS
за авторством: Зайченко, Е.Ю.
Опубліковано: (2007)

Автоматическое управление программной ориентацией твердого тела
за авторством: Харламов, М.П.
Опубліковано: (2001)

К вопросу построения онтологических систем различного назначения
за авторством: Палагин, А.В., та інші
Опубліковано: (2016)

Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей
за авторством: Биляк, В.И.
Опубліковано: (2005)

Разработка инструментальных средств для проверки формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2008)

Комплекс алгоритмов и программ для обработки РСДБ-наблюдений "Киев-GR1"
за авторством: Яцкив, Я.С., та інші
Опубліковано: (1992)

Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
за авторством: Бибило, П.Н., та інші
Опубліковано: (2009)

Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
за авторством: Яценко, Е.А.
Опубліковано: (2013)

Применение технологии blockchain для повышения защищенности процесса проведения медицинского страхования
за авторством: Чернега, К.С., та інші
Опубліковано: (2017)

Об отслеживании программной траектории колесным транспортным роботом
за авторством: Ларин, В.Б.
Опубліковано: (2013)

Применение машинного обучения в программной инженерии: обзор
за авторством: Мороз, О.Г., та інші
Опубліковано: (2019)

Парадигмы программирования сборочного типа в программной инженерии
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)

Задачи повышения производительности запросов в программной системе
за авторством: Федоров, И.В.
Опубліковано: (2008)

Подход к экспертному оцениванию в программной инженерии
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2009)

Определение формальных языков в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Оптимизация проверки выполнимости переходов при верификации формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2012)

Обзор современных систем и методов верификации формальных моделей
за авторством: Колчин, А.В., та інші
Опубліковано: (2012)

Механизмы терапевтических эффектов процедур дельфинотерапии
за авторством: Лукина, Л.Н.
Опубліковано: (2012)