共 50 条
- [1] Verification Support for a State-Transition-DSL Defined with Xtext PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 50 - 60
- [2] A Haskell Hosted DSL for Writing Transformation Systems DOMAIN-SPECIFIC LANGUAGES, PROCEEDINGS, 2009, 5658 : 285 - 309
- [5] Type errors for the IDE with Xtext and Xsemantics OPEN COMPUTER SCIENCE, 2019, 9 (01): : 52 - 79
- [8] Engineering Hybrid Graphical-Textual Languages with Sirius and Xtext: Requirements and Challenges 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 322 - 325