Specification of end-user requirements