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