Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference45 articles.
1. Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of model transformations via alloy. In: MoDeVVa ’07, pp. 47–56 (2007)
2. Apt, K.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003). https://doi.org/10.1017/CBO9780511615320
3. Badros, G.J., Borning, A., Stuckey, P.J.: The Cassowary linear arithmetic constraint solving algorithm. TOCHI 8(4), 267–306 (2001)
4. Beldiceanu, N., Carlsson, M., Flener, P., Pearson, J.: On the reification of global constraints. Constraints 18(1), 1–6 (2013). https://doi.org/10.1007/s10601-012-9132-0
5. Benhamou, F.: Heterogeneous constraint solving. In: Hanus, M., Rodríguez-Artalejo, M. (eds.) Algebraic and Logic Programming, pp. 62–76. Springer, Berlin (1996)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. From OCL-based model static analysis to quick fixes;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23
2. A novel manufacturing service model transformation method based on product lifecycle;Peer-to-Peer Networking and Applications;2022-03-17