Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/5371Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Межуев, В. И. | - |
| dc.date.accessioned | 2012-02-17T10:09:42Z | - |
| dc.date.available | 2012-02-17T10:09:42Z | - |
| dc.date.issued | 2009-06-15 | - |
| dc.identifier.citation | Межуев В. И. Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий // Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 10 (153), Донецк, ДонНТУ, 2009. – С.39-45. | en_US |
| dc.identifier.uri | http://ea.donntu.edu.ua/handle/123456789/5371 | - |
| dc.description | Цель работы состоит в анализе необходимости и возможных применений онтологий операционной системы реального времени OpenComRTOS, ее программных приложений, а также распределенной сети вычислительных узлов. В статье показывается, какие свойства OpenComRTOS могут быть смоделированы при помощи OWL онтологий и проверены при помощи OWL-DL систем автоматизации умозаключений | en_US |
| dc.description.abstract | Modelling properties of OpenComRTOS Real-Time Operation System by OWL- DL ontologies | en_US |
| dc.publisher | Донецкий национальный технический университет | en_US |
| dc.subject | OWL-DL онтологии | en_US |
| dc.subject | свойства OpenComRTOS | en_US |
| dc.subject | системные спецификации | en_US |
| dc.subject | верификация систем | en_US |
| dc.subject | шаблоны разработки | en_US |
| dc.subject | OWL-DL Ontology | en_US |
| dc.subject | OpenComRTOS properties | en_US |
| dc.subject | System Specifications | en_US |
| dc.subject | System Verification | en_US |
| dc.subject | Design Patterns | en_US |
| dc.title | Моделирование свойств операционной системы реального времени OpenComRTOS при помощи OWL-DL онтологий | en_US |
| dc.title.alternative | Modelling properties of OpenComRTOS Real-Time Operation System by OWL- DL ontologies | en_US |
| dc.type | Article | en_US |
| Розташовується у зібраннях: | Випуск 10(153) | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 09mvipoo.pdf | 547,72 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.