共 50 条
- [11] Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 534 - 537
- [12] Model-Driven Engineering for Delta-Oriented Software Product Lines [J]. 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 371 - 377
- [14] On Type Checking Delta-Oriented Product Lines [J]. INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 47 - 62
- [15] Refactoring Delta-Oriented Product Lines to Achieve Monotonicity [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (206): : 2 - 16
- [16] Formal Foundations for Analyzing and Refactoring Delta-Oriented Model-Based Software Product Lines [J]. SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2020, : 207 - 217
- [17] Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines [J]. PROCEEDINGS OF THE 7TH INTERNATIONAL WORKSHOP ON FEATURE-ORIENTED SOFTWARE DEVELOPMENT (FOSD'16), 2016, : 1 - 10
- [18] Experiences with Constructing and Evolving a Software Product Line with Delta-Oriented Programming [J]. VAMOS'22: 16TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, 2022,