Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B

查看最新文献

208

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B - 最新文献

Product-line analysis cookbook: a classification system for complex analysis toolchains

Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473951 D. Ferreira, Vasil L. Tenev, Martin Becker

Static analysis and family-based model checking of featured transition systems with VMC

Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473071 M. T. Beek, F. Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt

HAnS: IDE-based editing support for embedded feature annotations

Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473072 Johan Martinson, Herman Jansson, M. Mukelabai, T. Berger, Alexandre Bergel, Truong Ho-Quang

查看全部

免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。