Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference42 articles.
1. Acher, M., Heymans, P., Collet, P., Quinton, C., Lahire, P., Merle, P.: Feature Model Differences. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) Advanced Information Systems Engineering, pp. 629–645. Springer, Berlin (2012)
2. Apel, S., Kästner, C.: An overview of feature-oriented software development. J. Obj. Technol. 8(5), 49–84 (2009)
3. Artale, A., Calvanese, D., Ibáñez-García, Y. A.: Full satisfiability of UML class diagrams. In: 29th International Conference on Conceptual Modeling Conceptual Modeling—ER 2010, pp. 317–331. Springer (2010)
4. Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified Boolean formulas. Inf. Process. Lett. 8(3), 66 (1979)
5. Balaban, M., Maraee, A.: Finite satisfiability of UML class diagrams with constrained class hierarchy. ACM Trans. Softw. Eng. Methodol. 22(3), 66 (2013)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献