Please use this identifier to cite or link to this item: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/5371
Title: Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий
Other Titles: Modelling properties of OpenComRTOS Real-Time Operation System by OWL- DL ontologies
Authors: Межуев, В. И.
Keywords: OWL-DL онтологии
свойства OpenComRTOS
системные спецификации
верификация систем
шаблоны разработки
OWL-DL Ontology
OpenComRTOS properties
System Specifications
System Verification
Design Patterns
Issue Date: 15-Jun-2009
Publisher: Донецкий национальный технический университет
Citation: Межуев В. И. Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий // Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 10 (153), Донецк, ДонНТУ, 2009. – С.39-45.
Abstract: Modelling properties of OpenComRTOS Real-Time Operation System by OWL- DL ontologies
Description: Цель работы состоит в анализе необходимости и возможных применений онтологий операционной системы реального времени OpenComRTOS, ее программных приложений, а также распределенной сети вычислительных узлов. В статье показывается, какие свойства OpenComRTOS могут быть смоделированы при помощи OWL онтологий и проверены при помощи OWL-DL систем автоматизации умозаключений
URI: http://ea.donntu.edu.ua/handle/123456789/5371
Appears in Collections:Випуск 10(153)

Files in This Item:
File Description SizeFormat 
09mvipoo.pdf547,72 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.