𝔖 Bobbio Scriptorium

✦ LIBER ✦

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

✍ Scribed by Tao Jiang; Xin Wang

Book ID: 113099580
Publisher: Chinese Electronic Periodical Services
Year: 2012
Tongue: English
Weight: 402 KB
Volume: 17
Category: Article
ISSN: 1007-1172
DOI: 10.1007/s12204-012-1248-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Formal Representation of Domain-Specif

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

✍ Jiang, Tao; Wang, Xin 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 361 KB

Research of Geometry Language Formalizat

Research of Geometry Language Formalization Based on the Wu-method

✍ Xiqing Zhao; Wenying Zhang 📂 Article 📅 2012 🏛 Elsevier ⚖ 182 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

Automated Generation of Strictly Conform

Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language

✍ A. S. Kossatchev; P. Kutter; M. A. Posypkin 📂 Article 📅 2004 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 111 KB

[IEEE 2011 UkSim 13th International Conf

[IEEE 2011 UkSim 13th International Conference on Computer Modelling and Simulation (UKSim) - Cambridge, United Kingdom (2011.03.30-2011.04.1)] 2011 UkSim 13th International Conference on Computer Modelling and Simulation - A Metamodel Based Approach for UML Notated Domain Specific Modelling Language

✍ Kleins, Arnis; Teilans, Artis; Merkuryev, Yuri; Krasts, Ojars 📂 Article 📅 2011 🏛 IEEE ⚖ 331 KB

[ACM Press the 28th Annual ACM Symposium

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Notation-driven vs metamodel-driven development of domain-specific modeling languages

✍ Wouters, Laurent; Gervais, Marie-Pierre 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 363 KB