Using an SMT solver for interactive requirements prioritization
Francis Palma, Angelo Susi, Paolo Tonella · 2011
The prioritization of requirements is a crucial activity in the early phases of the software development process. It consists of finding an order relation among requirements, considering several requirements characteristics, such as stakeholder preferences, technical constraints, implementation costs and user perceived value.