|
eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Інформатика, кібернетика та обчислювальна техніка >
Випуск 10(153) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/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)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
