Author:
Knüppel Alexander,Krüger Stefan,Thüm Thomas,Bubel Richard,Krieter Sebastian,Bodden Eric,Schaefer Ina
Publisher
Springer International Publishing
Reference43 articles.
1. LNCS;W Ahrendt,2016
2. Apel, S., Hutchins, D.: A calculus for uniform feature composition. ACM Trans. Program. Lang. Syst. (TOPLAS) 32(5), 19:1–19:33 (2010)
3. Lecture Notes in Computer Science;S Apel,2008
4. Apel, S., Kästner, C., Lengauer, C.: Featurehouse: language-independent, automated software composition. In: Proceedings International Conference Software Engineering (ICSE), Washington, DC, USA, pp. 221–231. IEEE (2009). ISBN 978-1-4244-3453-4
5. Apel, S., Lengauer, C., Möller, B., Kästner, C.: An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Program. (SCP) 75(11), 1022–1047 (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07
2. Verification Strategies for Feature-Oriented Software Product Lines;Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems;2022-02-23
3. Delta-based verification of software product families;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17