Pinned Repositories
caosd-group.github.io
Research website of the CAOSD group
cat-transf
Repo for transformation of feature model to categories
fm-json-kubernetes
fms_dataset
Dataset of feature models of the CAOSD research group.
fmsans
FMSans is a compilation technique for feature models to eliminate cross-tree constraints and analyze it without the need of a SAT or BDD solver.
hades
Proyecto HADES.
rhea
Interoperability of feature models guided by variability language constructs
SEER
Estimating Sampling Size for generate performance models
splc2020
SPLC'2020 artifacts: Implementation in EMF/Ecore of a set of extensible and modular metamodels for feature modeling.
CAOSD group's Repositories
CAOSD-group/splc2020
SPLC'2020 artifacts: Implementation in EMF/Ecore of a set of extensible and modular metamodels for feature modeling.
CAOSD-group/caosd-group.github.io
Research website of the CAOSD group
CAOSD-group/cat-transf
Repo for transformation of feature model to categories
CAOSD-group/fm-json-kubernetes
CAOSD-group/fms_dataset
Dataset of feature models of the CAOSD research group.
CAOSD-group/fmsans
FMSans is a compilation technique for feature models to eliminate cross-tree constraints and analyze it without the need of a SAT or BDD solver.
CAOSD-group/hades
Proyecto HADES.
CAOSD-group/rhea
Interoperability of feature models guided by variability language constructs
CAOSD-group/SEER
Estimating Sampling Size for generate performance models