ABSTRACT
SPLat 2015 workshop aims to provide a forum where various approaches to formal analysis and testing of variability-intensive systems can be presented, evaluated and discussed. In particular, the workshop tries to identify commonalities and variabilities regarding the choice of underlying concepts that capture variability as well as strengths and weaknesses of approaches in their effort to defeat combinatorial explosion. The long term goal of the workshop is to provide guidance to practitioners on where and when to use the aforementioned techniques while validating variability-intensive systems.
Recommendations
SPLat 2014: First International Workshop on Software Product Line Analysis Tools
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1The SPLat 2014 workshop aims to provide a platform for the presentation and positioning of formal analysis tools as used in Software Product Line Engineering for the identification of commonalities and differences of these tools as well as for the ...
Integrated management of variability in space and time in software families
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1Software product lines (SPLs) and software ecosystems (SECOs) encompass a family of closely related software systems in terms of common and variable assets that are configured to concrete products (variability in space). Over the course of time, ...
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 1FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally affiliated with SPLC, which aims to connect researchers and practitioners interested in raising the efficiency and the effectiveness of SPLE through the application of ...
Comments