SPL design variability verification
SPL design variability verification
Home › Description

SPLEnD is the first design variability verification engine for software product lines(SPLs).

The unique aspect of SPL development is the reuse of common features and management of variability among the family of products. SPLEnD assumes that an SPL is composed of multiple features with each feature exhibiting internal variability. The novel aspect of SPLEnD is that it enables verification of SPLs, in which the variability information is captured differently at different levels of abstractions in the design and requirement stages.

The design variability verification problem is to relate the variability as it is expressed at the design level with the variability as it is expressed at the requirement level.

Last release was on Jan 2 2016.