Pinned Repositories
rhea
Interoperability of feature models guided by variability language constructs
bdd_metamodel
BDD plugin for the automated analysis of feature models using a BDD.
benchmarking
This repo is hosting a small benchmark with examples on how to use the tool as final user or backend developer
famapy-aafms
Local version of famapy for testing
fm_characterization
Characterization and visualization of feature models using a fact label
fm_metamodel
This repo host the feature model concrete classes
pysat_metamodel
This repository will host the pysat metamode and its operation implementation
SPLC2019
Resources and artifacts of the "Software Product Line Engineering: A Practical Experience" paper
SPLE-EmpiricalAnalysis
Resources and artifacts of the Software Product Line Engineering in practice work
vEXgine
vEXgine is a customizable and extensible implementation of the execution engine for the Common Variability Language (CVL).
jmhorcas's Repositories
jmhorcas/fm_characterization
Characterization and visualization of feature models using a fact label
jmhorcas/benchmarking
This repo is hosting a small benchmark with examples on how to use the tool as final user or backend developer
jmhorcas/henshin_cheatsheet
A cheat sheet for the Henshin transformation language
jmhorcas/bdd_metamodel
BDD plugin for the automated analysis of feature models using a BDD.
jmhorcas/fm_metamodel
This repo host the feature model concrete classes
jmhorcas/nuevo-repo
jmhorcas/pysat_metamodel
This repository will host the pysat metamode and its operation implementation
jmhorcas/acapulco
jmhorcas/ateaching
Scripts and utils for automating teaching and more...
jmhorcas/bdds4fms
BDDs for feature model analysis
jmhorcas/bestpapersawards
Web repository of best papers awards.
jmhorcas/factorial-bdd-cucumber
Example of Behaviour-Driven Development (BDD) with Cucumber
jmhorcas/flama_tutorial
jmhorcas/fm_utils
Utils for feature models
jmhorcas/fmsGen
Random generation of feature models
jmhorcas/gen_research_paper
Generate a template for a research paper.
jmhorcas/isa2024-healthcalc
Health calculator
jmhorcas/Jakarta-EE
Proyectos de ejemplo del curso
jmhorcas/miau_bot
A smart cat bot for telegram
jmhorcas/minimal-mistakes
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
jmhorcas/nns
Neural Networks
jmhorcas/realwordPLs
jmhorcas/recursive_configuration
jmhorcas/smoke-research
Tool to analyze research publications.
jmhorcas/spl_dashboard
Website dashboard for SPLs
jmhorcas/swift-algorithm-club
Algorithms and data structures in Swift, with explanations!
jmhorcas/uned-experiments
Experiments with SAT in Flama
jmhorcas/utils
Several utils scripts.
jmhorcas/uvengine
SPL implementation of the variability using templates
jmhorcas/uvlparser
This is a simple antlr parser for the Universal variability languaje