Author:
Damiani Ferruccio,Hähnle Reiner,Kamburjan Eduard,Lienhardt Michael
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Apel, S., Batory, D.S., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013)
2. Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE TSE 30(6), 355–371 (2004)
3. Bettini, L., Damiani, F.: Generic traits for the Java platform. In: PPPJ, pp. 5–16. ACM (2014)
4. Bettini, L., Damiani, F., Schaefer, I.: Compositional type checking of delta-oriented software product lines. Acta Informatica 50(2), 77–122 (2013)
5. Bettini, L., Damiani, F., Schaefer, I.: Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. 97, 282–308 (2015). Part 3
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Variability modules;Journal of Systems and Software;2023-01
2. Towards a Modular and Variability-Aware Aerodynamic Simulator;The Logic of Software. A Tasting Menu of Formal Methods;2022
3. Variability modules for Java-like languages;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A;2021-09-06
4. On Slicing Software Product Line Signatures;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
5. Model-Driven Engineering for Delta-Oriented Software Product Lines;2019 26th Asia-Pacific Software Engineering Conference (APSEC);2019-12