共 50 条
- [1] Delta-Oriented Programming of Software Product Lines SOFTWARE PRODUCT LINES: GOING BEYOND, 2010, 6287 : 77 - +
- [2] Delta-Oriented Multi Software Product Lines 18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 232 - 236
- [3] A Toolchain for Delta-Oriented Modeling of Software Product Lines LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 497 - 511
- [4] Verification of Software Product Lines with Delta-Oriented Slicing FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 61 - +
- [5] Compositional type checking of delta-oriented software product lines Acta Informatica, 2013, 50 : 77 - 122
- [8] Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 534 - 537