UML First-order logic 1 Graph Transformation 1 Model-Driven Development 1 Second-order logic 1 Software Model 1 Software Model Transformation 1 UDC 004.41 1 UDC 004.415.2.045 (076.5) 1 description logick 1 semantic web 1 validation class diagram uml 1 УДК 004.41 1 УДК 004.415.2.045 (076.5) 1 валидация диаграмм классов UML 1 валідація діаграм класів UML 1 графовая трансформация 1 дескриптивна логіка 1 дескриптивная логика 1 логика второго порядка 1 логика первого порядка 1 модель программного обеспечения 1 модель програмного забезпечення; трансформація моделей програмного забезпечення; графова трансформація; розробка 1 разработка 1 трансформация моделей программного обеспечения 1 управляемая моделями 1 що керується моделями; логіка першого порядку; логіка другого порядку; UML 1