Alliance of model-driven engineering with a proof-based formal approach-Reference-Cited by-同舟云学术

Alliance of model-driven engineering with a proof-based formal approach

Published:2020-06-01 Issue:3-4 Volume:16 Page:289-307
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Idani Akram^ORCID,Ledru Yves,Vega German

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

https://link.springer.com/content/pdf/10.1007/s11334-020-00366-3.pdf

Reference45 articles.

1. Abrial JR (1996) The B-book: assigning programs to meanings. Cambridge University Press, New York

2. Bettini L (2013) Implementing domain-specific languages with Xtext and Xtend. Packt Publishing, Birmingham

3. Bousse E, Leroy D, Combemale B, Wimmer M, Baudry B (2018) Omniscient debugging for executable dsls. J Syst Softw 137:261–288. https://doi.org/10.1016/j.jss.2017.11.025

4. Bryant B, Gray J, Mernik M, Clarke P, France R, Karsai G (2011) Challenges and directions in formalizing the semantics of modeling languages. Comput Sci Inf Syst. https://doi.org/10.2298/CSIS110114012B

5. Combemale B, Brun C, Breathe life into your designer! Model simulation, animation and debugging with sirius animator, part of the GEMOC studio. http://gemoc.org/breathe-life-into-your-designer.html. Accessed 28 May 2020

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02

2. Transpilation of Petri-nets into B;Lecture Notes in Computer Science;2024

3. MMINT-A: A framework for model-based safety assurance;Science of Computer Programming;2024-01

4. The B Method Meets MDE: Review, Progress and Future;Research Challenges in Information Science;2022

5. Visual Animation of B Specifications Using Executable DSLs;2022