Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/5371
Название: Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий
Другие названия: Modelling properties of OpenComRTOS Real-Time Operation System by OWL- DL ontologies
Авторы: Межуев, В. И.
Ключевые слова: OWL-DL онтологии
свойства OpenComRTOS
системные спецификации
верификация систем
шаблоны разработки
OWL-DL Ontology
OpenComRTOS properties
System Specifications
System Verification
Design Patterns
Дата публикации: 15-июн-2009
Издательство: Донецкий национальный технический университет
Библиографическое описание: Межуев В. И. Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий // Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 10 (153), Донецк, ДонНТУ, 2009. – С.39-45.
Краткий осмотр (реферат): Modelling properties of OpenComRTOS Real-Time Operation System by OWL- DL ontologies
Описание: Цель работы состоит в анализе необходимости и возможных применений онтологий операционной системы реального времени OpenComRTOS, ее программных приложений, а также распределенной сети вычислительных узлов. В статье показывается, какие свойства OpenComRTOS могут быть смоделированы при помощи OWL онтологий и проверены при помощи OWL-DL систем автоматизации умозаключений
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/5371
Располагается в коллекциях:Випуск 10(153)

Файлы этого ресурса:
Файл Описание РазмерФормат 
09mvipoo.pdf547,72 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.