Результати пошуку - "Graph Transformation"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- First-order logic 1
- Graph Transformation 1
- Model-Driven Development 1
- Second-order logic 1
- Software Model 1
- Software Model Transformation 1
- 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
-
1
Formal foundations for software model to model transformation operation
Опубліковано 2018Отримати повний текст
Стаття