2 Matching Annotations
  1. Jan 2019
    1. Validations provided bySPLEmmainclude structural veri- cations onfms and mappings (YourCastde nes a meta-model for the de nition of relationships) as well as correctconstruction ofContributions. As the previous evolutions in-volvefmchanges, we use generic preconditions related tofmconsistency
    2. roblem Space(PS),containing feature models, can also need modi cationson theCon guration Knowledge(CK) or mappingsand theSolution Space(SS)