Derek Rayside

Latest

• Optimizing Alloy for Multi-objective Software Product Line Configuration
• Staged Evaluation of Partial Instances in a Relational Model Finder
• Extending Alloy with Partial Instances