Author:
Falkner Andreas,Feinerer Ingo,Salzer Gernot,Schenner Gottfried
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. Towards complete consistency checks of Clafer models;Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development;2017-10-23
3. Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models;Fundamental Approaches to Software Engineering;2016
4. LoCo—A Logic for Configuration Problems;ACM Transactions on Computational Logic;2014-07-08
5. Finite satisfiability of UML class diagrams with constrained class hierarchy;ACM Transactions on Software Engineering and Methodology;2013-07