A formal method for subjective design evaluation with multiple attributes · Study