Dependability of Model-Driven Executable DSLs: Critical Review and Solutions

von Idani, Akram
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)

Meeduse: A Tool to Build and Run Proved DSLs

von Idani, Akram
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Merging Railway Standard Notations in a Formal DSL-Based Framework

von Yar, Asfand
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)

A Formal MDE Framework for Inter-DSL Collaboration

von Chehida, Salim
Veröffentlicht in International Conference on Coordination Models and Languages (25. : 2023 : Lissabon) Coordination models and languages (2023)