Delta-oriented architectural variability using MontiCore
Proceedings of the 5th European Conference on Software Architecture: Companion Volume
Proceedings of the 16th International Software Product Line Conference - Volume 1
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
A transformational proof system for delta-oriented programming
Proceedings of the 16th International Software Product Line Conference - Volume 2
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Domain modeling as a basis for building a meshing tool software product line
Advances in Engineering Software
| Hi-index | 4.10 |
Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.