Funder
Deutsche Forschungsgemeinschaft
Reference28 articles.
1. Kyriakos Anastasakis Behzad Bordbar Geri Georg and Indrakshi Ray. 2010. On Challenges of Model Transformation from UML to Alloy. Software & Systems Modeling 9 1 (2010) 69–86. 10.1007/s10270-008-0110-3 Kyriakos Anastasakis Behzad Bordbar Geri Georg and Indrakshi Ray. 2010. On Challenges of Model Transformation from UML to Alloy. Software & Systems Modeling 9 1 (2010) 69–86. 10.1007/s10270-008-0110-3
2. Clafer tools for product line engineering
3. Sven Apel Don S. Batory Christian Kästner and Gunter Saake. 2013. Feature-Oriented Software Product Lines - Concepts and Implementation. Springer. 10.1007/978-3-642-37521-7 Sven Apel Don S. Batory Christian Kästner and Gunter Saake. 2013. Feature-Oriented Software Product Lines - Concepts and Implementation. Springer. 10.1007/978-3-642-37521-7
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques;Software and Systems Modeling;2021-01-31
2. A language agnostic approach to modeling requirements;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16
3. Mathematical Programming for Anomaly Analysis of Clafer Models;Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2018-10-14