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