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