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

Ontological models in OTSL

OTSL is a language of description of ontological transition systems. Ontological transition systems are formalism for description of semantics of computer systems that combines transition systems with ontological models. In this paper, constructs of OTSL specifying the ontological models of ontologi...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2008
Автор:	Anureev, I.S.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Інститут програмних систем НАН України 2008
Теми:	Теоретичні та методологічні основи програмування
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/1390
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Insertion modeling in distributed system design
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2008)

Програмування в обмеженнях у системі інсерційного моделювання
за авторством: Летичевський, О.А., та інші
Опубліковано: (2011)

Management of the coordination process in socio-technical system
за авторством: Girchenko, L.A., та інші
Опубліковано: (2020)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2020)

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

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

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

Особливості практичного застосування показників обчислювальної складності алгоритмів
за авторством: Шинкаренко, В.І.
Опубліковано: (2008)

Экзистенциальный базис дескриптивных сред
за авторством: Редько, И.В.
Опубліковано: (2008)

Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
за авторством: Потиенко, С.В.
Опубліковано: (2008)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
за авторством: Панченко, Т.В.
Опубліковано: (2008)

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
за авторством: Крывый, С.Л., та інші
Опубліковано: (2008)

Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2008)

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

Композиційно-номінативні логіки з операторами нерухомої точки
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2008)

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

Концептуальні моделі розподілених компонентних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)

Стабільність та монотонність програм щодо структурних трансформацій даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2010)

Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
за авторством: Новокшонов, А.К.
Опубліковано: (2016)

DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
за авторством: Колесник, В.Г.
Опубліковано: (2015)

Аналіз систем нечіткої логіки для апроксимації нечітких функцій
за авторством: Щегельський, Т.С., та інші
Опубліковано: (2012)

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

Генерувальне програмування програмних систем і їх сімейств
за авторством: Лавріщева, К.М.
Опубліковано: (2009)

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

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

NP-трудность задач оптимизации коллективного преследования
за авторством: Пашко, С.В.
Опубліковано: (2014)

Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2007)

Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
за авторством: Лаврищева, Е.М.
Опубліковано: (2010)

О построении клонов алгебр функциональных n-отношенеий
за авторством: Захария, Л.М., та інші
Опубліковано: (2006)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2017)

Композиційно-номінативні логіки з непрямим іменуванням
за авторством: Россада, Т.В., та інші
Опубліковано: (2012)

Компонентне програмування. Теорія і реалізація
за авторством: Лавріщева, К.М.
Опубліковано: (2012)

Согласованное описание алгоритмов в рамках алгебраического аппарата
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2014)

Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
за авторством: Шкільняк, О.С.
Опубліковано: (2019)

Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
за авторством: Резниченко, В.А., та інші
Опубліковано: (2015)

Кібернетика, інформатика та програмна інженерія: аспекти розвитку
за авторством: Лавріщева, К.М.
Опубліковано: (2010)

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

Київська школа програмування В.М. Глушкова
за авторством: Андон, П.І.
Опубліковано: (2013)

DS-теория. Исследование факторов форматирования Р-данных
за авторством: Колесник, В.Г.
Опубліковано: (2016)