Author:
de Lara Juan,Guerra Esther
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference50 articles.
1. Alur R., Dill D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Atkinson C., Gutheil M., Kennel B.: A flexible infrastructure for multilevel language engineering. IEEE Trans. Soft. Eng. 35(6), 742–755 (2009)
3. Atkinson C., Kühne T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. 12(4), 290–321 (2002)
4. Bagge A.H., Haveraaen M.: Axiom-based transformations: optimisation and testing. Electr. Notes Theor. Comput. Sci. 238(5), 17–33 (2009)
5. Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: Proceedings of QEST, pp. 125–126 (2006). http://www.uppaal.org/
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Going beyond templates: composition and evolution in nested OSTRICH;Software and Systems Modeling;2024-05-20
2. Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
3. OSTRICH: a rich template language for low-code development (extended version);Software and Systems Modeling;2022-12-16
4. Nested OSTRICH;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
5. OSTRICH - A Type-Safe Template Language for Low-Code Development;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10