UDC 004.415.2.045 (076.5) 3 УДК 004.415.2.045 (076.5) First-order logic 1 Graph Transformation 1 Model-Driven Development 1 Second-order logic 1 Software Model 1 Software Model Transformation 1 UML 1 grammar rules 1 linear algebra algorithms 1 mathematical modeling 1 methods of structuring sparse matrices 1 semantic analysis 1 software architecture 1 software system for text analysis 1 sparse matrices 1 structural strength problems 1 text processing on different languages 1 алгоритми лінійної алгебри 1 аріхтектура програмного забезпечення 1 графовая трансформация 1 логика второго порядка 1 логика первого порядка 1 математичне моделювання 1 методи структурування розріджених матриць 1 модель программного обеспечения 1 модель програмного забезпечення; трансформація моделей програмного забезпечення; графова трансформація; розробка 1 обробка текстів різними мовами 1 правила граматики 1