Fusing Modeling and Programming into Language-Oriented Programming-Reference-Cited by-同舟云学术

Fusing Modeling and Programming into Language-Oriented Programming

Published:2018 Issue: Volume: Page:309-339
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Modeling
language:
Short-container-title:

Author:

Voelter Markus

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03418-4_19

Reference32 articles.

1. Berger, T., Völter, M., Jensen, H.P., Dangprasert, T., Siegmund, J.: Efficiency of projectional editing: a controlled experiment. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 763–774. ACM (2016)

2. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)

3. Czarnecki, K., Eisenecker, U.W., Czarnecki, K.: Generative Programming: Methods, Tools, and Applications, vol. 19. Addison Wesley, Reading (2000)

4. Durr, E., Van Katwijk, J.: Vdm++, a formal specification language for object-oriented designs. In: 1992 Proceedings Computer Systems and Software Engineering, pp. 214–219. IEEE (1992)

5. Lecture Notes in Computer Science;S Erdweg,2013

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

1. Applicability of the ViMoTest Approach for Automated GUI Testing: A Field Study;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

2. MLDev: Data Science Experiment Automation and Reproducibility Software;Communications in Computer and Information Science;2022

3. A Domain-Specific Language for Payroll Calculations: An Experience Report from DATEV;Domain-Specific Languages in Practice;2021

4. Use MPS to Unleash the Creativity of Domain Experts: Language Engineering Is a Key Enabler for Bringing Innovation in Industry;Domain-Specific Languages in Practice;2021

5. Models Versus Model Descriptions;Modelling to Program;2021