Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения”
Рассмотрено обобщенное представление математической модели программной системы ИКОН, разработаны формальные модели ПС ИКОН, представленные в аналитическом виде UML-диаграмм. Описана трехуровневая архитектура ПС ИКОН в среде клиент-сервер, а также процесс разработки сложных программных систем. The gi...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2014 |
| Main Authors: | Палагин, А.В., Петренко, Н.Г., Величко, В.Ю., Малахов, К.С. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/113235 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко, К.С. Малахов // Проблеми програмування. — 2014. — № 2-3. — С. 221-232. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
К вопросу разработки инструментального комплекса онтологического назначения
by: Палагин, А.В., et al.
Published: (2012)
by: Палагин, А.В., et al.
Published: (2012)
О некоторых формальных моделях разработки нейросетевых алгоритмов в системе Гомеопат
by: Катеринич, Л.А.
Published: (2010)
by: Катеринич, Л.А.
Published: (2010)
"Инструментальный" материал для атомной техники
by: Панов, В.С., et al.
Published: (2012)
by: Панов, В.С., et al.
Published: (2012)
Доказательное проектирование алгоритмов функционирования реактивных систем
by: Чеботарев, А.Н., et al.
Published: (2008)
by: Чеботарев, А.Н., et al.
Published: (2008)
Особенности разработки искусственной нейронной сети гибридной экспертной системы
by: Коновалов, С.Н., et al.
Published: (2018)
by: Коновалов, С.Н., et al.
Published: (2018)
Принципы построения архитектуры программной платформы для реализации алгоритмов метода группового учета аргументов
by: Орлов, А.А.
Published: (2013)
by: Орлов, А.А.
Published: (2013)
Обзор баз знаний онтологического типа
by: Никоненко, А.А.
Published: (2009)
by: Никоненко, А.А.
Published: (2009)
Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
by: Тарасюк, О.М., et al.
Published: (2010)
by: Тарасюк, О.М., et al.
Published: (2010)
Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
by: Акуловский, В.Г.
Published: (2009)
by: Акуловский, В.Г.
Published: (2009)
Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста
by: Львов, М.С.
Published: (2009)
by: Львов, М.С.
Published: (2009)
Экосистемы программной инженерии
by: Крывый, С.Л., et al.
Published: (2020)
by: Крывый, С.Л., et al.
Published: (2020)
Разработка алгоритмов функционирования процесса анализа решений по управлению предприятием
by: Дурняк, Б., et al.
Published: (2010)
by: Дурняк, Б., et al.
Published: (2010)
Асимптотические свойства формальных решений
by: Жукова, Г.С., et al.
Published: (1987)
by: Жукова, Г.С., et al.
Published: (1987)
О конечной определенности формальных отображений
by: Белицкий, Г.Р.
Published: (1986)
by: Белицкий, Г.Р.
Published: (1986)
МОДЕЛЬ СЕМАНТИЧЕСКОГО РЕПОЗИТОРИЯ ТЕКСТОВЫХ ДОКУМЕНТОВ ДЛЯ ОНТОЛОГИЧЕСКОГО ПОРТАЛА МОНУ
by: Рябова, Наталья Владимировна, et al.
Published: (2011)
by: Рябова, Наталья Владимировна, et al.
Published: (2011)
Модель семантического репозитория текстовых документов для онтологического портала МОНУ
by: Рябова, Н.В., et al.
Published: (2011)
by: Рябова, Н.В., et al.
Published: (2011)
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Инструментальный контур спектрографа солнечного телескопа АЦУ-5 Главной астрономической обсерватории НАН Украины
by: Осипов, С.Н.
Published: (2015)
by: Осипов, С.Н.
Published: (2015)
Стандартизація процедур управління
by: Горчакова, О.
Published: (2009)
by: Горчакова, О.
Published: (2009)
Использование онтологического описания предметной области для повышения релевантности информационного поиска
by: Рогушина, Ю.В.
Published: (2003)
by: Рогушина, Ю.В.
Published: (2003)
Комплекс средств разработки прикладных программ на реконфигурируемых вычислительных системах
by: Дордопуло, А.И., et al.
Published: (2009)
by: Дордопуло, А.И., et al.
Published: (2009)
Послідовність використання аналітичних процедур при аудиті оборотних активів акціонерних товариств
by: Сурніна, К.С.
Published: (2012)
by: Сурніна, К.С.
Published: (2012)
Комплекс моделей и алгоритмов оптимизации характеристик сетей с технологией MPLS
by: Зайченко, Е.Ю.
Published: (2007)
by: Зайченко, Е.Ю.
Published: (2007)
Автоматическое управление программной ориентацией твердого тела
by: Харламов, М.П.
Published: (2001)
by: Харламов, М.П.
Published: (2001)
К вопросу построения онтологических систем различного назначения
by: Палагин, А.В., et al.
Published: (2016)
by: Палагин, А.В., et al.
Published: (2016)
Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей
by: Биляк, В.И.
Published: (2005)
by: Биляк, В.И.
Published: (2005)
Разработка инструментальных средств для проверки формальных моделей
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
Комплекс алгоритмов и программ для обработки РСДБ-наблюдений "Киев-GR1"
by: Яцкив, Я.С., et al.
Published: (1992)
by: Яцкив, Я.С., et al.
Published: (1992)
Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления
by: Бибило, П.Н., et al.
Published: (2009)
by: Бибило, П.Н., et al.
Published: (2009)
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
by: Яценко, Е.А.
Published: (2013)
by: Яценко, Е.А.
Published: (2013)
Применение технологии blockchain для повышения защищенности процесса проведения медицинского страхования
by: Чернега, К.С., et al.
Published: (2017)
by: Чернега, К.С., et al.
Published: (2017)
Об отслеживании программной траектории колесным транспортным роботом
by: Ларин, В.Б.
Published: (2013)
by: Ларин, В.Б.
Published: (2013)
Применение машинного обучения в программной инженерии: обзор
by: Мороз, О.Г., et al.
Published: (2019)
by: Мороз, О.Г., et al.
Published: (2019)
Парадигмы программирования сборочного типа в программной инженерии
by: Лаврищева, Е.М.
Published: (2014)
by: Лаврищева, Е.М.
Published: (2014)
Задачи повышения производительности запросов в программной системе
by: Федоров, И.В.
Published: (2008)
by: Федоров, И.В.
Published: (2008)
Подход к экспертному оцениванию в программной инженерии
by: Лаврищева, Е.М., et al.
Published: (2009)
by: Лаврищева, Е.М., et al.
Published: (2009)
Определение формальных языков в метаязыке нормальных форм знаний
by: Кургаев, А.Ф., et al.
Published: (2017)
by: Кургаев, А.Ф., et al.
Published: (2017)
Оптимизация проверки выполнимости переходов при верификации формальных моделей
by: Колчин, А.В.
Published: (2012)
by: Колчин, А.В.
Published: (2012)
Обзор современных систем и методов верификации формальных моделей
by: Колчин, А.В., et al.
Published: (2012)
by: Колчин, А.В., et al.
Published: (2012)
Механизмы терапевтических эффектов процедур дельфинотерапии
by: Лукина, Л.Н.
Published: (2012)
by: Лукина, Л.Н.
Published: (2012)
Similar Items
-
К вопросу разработки инструментального комплекса онтологического назначения
by: Палагин, А.В., et al.
Published: (2012) -
О некоторых формальных моделях разработки нейросетевых алгоритмов в системе Гомеопат
by: Катеринич, Л.А.
Published: (2010) -
"Инструментальный" материал для атомной техники
by: Панов, В.С., et al.
Published: (2012) -
Доказательное проектирование алгоритмов функционирования реактивных систем
by: Чеботарев, А.Н., et al.
Published: (2008) -
Особенности разработки искусственной нейронной сети гибридной экспертной системы
by: Коновалов, С.Н., et al.
Published: (2018)