Author:
Gogolla Martin,Hamann Lars
Publisher
Springer Nature Switzerland
Reference26 articles.
1. Bicarregui, J., Ritchie, B.: Invariants, frames, and postconditions: a comparison of the VDM and B notations. IEEE Trans. Softw. Eng. 21(2), 79–89 (1995)
2. Desai, N., Gogolla, M.: Developing comprehensive postconditions through a model transformation Chain. J. Object Technol. AITO, DE 18(3), 5:1–18 (2019)
3. Desai, N., Gogolla, M., Frank, H.: Executing models by filmstripping: enhancing validation by filmstrip templates and transformation alternatives. In: Burgueno, L., et al. (eds.) Proceedings Workshop Executable Modeling (EXE 2017), pp. 88–94. CEUR Proceedings 2019 (2017)
4. Lecture Notes in Computer Science;K-H Doan,2016
5. Lecture Notes in Computer Science;G Ernst,2022
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards a Model Development Environment Acknowledging Contradicting Dimensions in MDE;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. Proving Properties of Operation Contracts with Test Scenarios;Tests and Proofs;2023