𝔖 Bobbio Scriptorium

✦ LIBER ✦

A Formal Representation of Domain-Specific Metamodeling Language XMML Based on First-order Logic

✍ Scribed by Jiang, Tao; Wang, Xin

Book ID: 123020947
Publisher: Elsevier
Year: 2011
Tongue: English
Weight: 361 KB
Volume: 15
Category: Article
ISSN: 1877-7058
DOI: 10.1016/j.proeng.2011.08.1009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Research on metamodels consistency verif

Research on metamodels consistency verification based on formalization of domain-specific metamodeling language

✍ Tao Jiang; Xin Wang 📂 Article 📅 2012 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 402 KB

[IEEE 2011 IEEE International Conference

[IEEE 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE) - Shanghai, China (2011.06.10-2011.06.12)] 2011 IEEE International Conference on Computer Science and Automation Engineering - Research on formalization of Domain-Specific Metamodeling Language based on first-order logic

✍ Tao Jiang, ; WenYun Zheng, 📂 Article 📅 2011 🏛 IEEE ⚖ 128 KB