Показати простий запис статті

dc.contributor.author Anureev, I.S.
dc.date.accessioned 2008-07-30T13:45:57Z
dc.date.available 2008-07-30T13:45:57Z
dc.date.issued 2008
dc.identifier.citation Ontological models in OTSL / I.S. Anureev // Пробл. програмув. — 2008. — N 2-3. — С. 41-49. — Бібліогр.: 14 назв. — англ. en_US
dc.identifier.issn 1727-4907
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/1390
dc.description.abstract 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 ontological transition systems is presented. Formal semantics of these constructs is defined. en_US
dc.description.abstract OTSL – язык описания онтологических систем переходов. Онтологические системы переходов – формализм для описания семантики компьютерных систем, который комбинирует системы переходов с онтологическими моделями. В данной работе представлены конструкции OTSL, специфицирующие онтологические модели в онтологических системах переходов. Определена формальная семантика данных конструкций. en_US
dc.language.iso en en_US
dc.publisher Інститут програмних систем НАН України en_US
dc.subject Теоретичні та методологічні основи програмування
dc.title Ontological models in OTSL en_US
dc.title.alternative Онтологические модели в OTSL
dc.type Article en_US
dc.status published earlier en_US
dc.identifier.udc 519.681.3


Файли у цій статті

Icon
Name: 01 - Anureev.pdf
Розмір: 128.3Кб
Формат: PDF
Перегляд/Відкрити

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис