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