Проблеми програмування № 2-3-2016 ; Інтелектуальні інформаційні технології ; дескриптивна логіка, дескриптивная логика ; валідація діаграм класів UML, валидация диаграмм классов UML ; 004.41 Техніка програмування. Програмотехніка

В статті запропоновано відображення діаграми класів UML до дескриптивної логіки діалекту SHOIQ.

• Проблеми програмування [Текст] : наук. журн. — 2016. — 2-3. — 273 с.
• Проблеми програмування (ч/з) [Текст] : наук. журн. — К. : Ін-т програмних систем НАН України.

• УДК // Техніка програмування. Програмотехніка