Models for Quality and Resource Management

To be extended.

Quality and Resource Management often involves multi-objective optimization. Pareto Algebra is a calculus that supports the compositional computation of multi-objective trade-offs.

QRML is a domain-specific language to specify quality and resource management components. It is availabe throught the web site.

Constraint solvers, such as Z3 are often used to compute feasible / optimal configurations in a quality and resource management problem.