Author:
Damiani Ferruccio,Owe Olaf,Dovland Johan,Schaefer Ina,Johnsen Einar Broch,Yu Ingrid Chieh
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines;Journal of Computer Languages;2022-06
2. Delta-based verification of software product families;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17
3. On Slicing Software Product Line Signatures;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
4. Feature-oriented contract composition;Journal of Systems and Software;2019-06
5. A core calculus for dynamic delta-oriented programming;Acta Informatica;2017-01-31