Author:
Famelis Michalis,Chechik Marsha
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference70 articles.
1. Apvrille, L., Muhammad, W., Ameur-Boulifa, R., Coudert, S., Pacalet, R.: A uml-based environment for system design space exploration. In: 13th IEEE International Conference on Electronics, Circuits and Systems, 2006. ICECS ’06, pp. 1272–1275 (2006). doi: 10.1109/ICECS.2006.379694
2. Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Proceedings of MODELS’10, pp. 121–135 (2010)
3. Auer, M., Tschurtschenthaler, T., Biffl, S.: A flyweight uml modelling tool for software development in heterogeneous environments. In: Proceedings, 29th Euromicro Conference, 2003, pp. 267–272 (2003). doi: 10.1109/EURMIC.2003.1231600
4. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Proceedings of SMT’10 (2010)
5. Bernstein, P.A.: Applying model management to classical meta data problems. In: Proceedings of CIDR’03 (2003)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice;ACM Transactions on Software Engineering and Methodology;2023-12-21
2. Uncertainty-aware consistency checking in industrial settings;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
3. Dealing with Belief Uncertainty in Domain Models;ACM Transactions on Software Engineering and Methodology;2023-03-31
4. Digital twins for the designs of systems: a perspective;Structural and Multidisciplinary Optimization;2023-02-20
5. Union Models for Model Families: Efficient Reasoning over Space and Time;Algorithms;2023-02-11