kirancodes.me
To Proof Maintenance & Beyond!
FSE 2011

Using an SMT solver for interactive requirements prioritization

Francis Palma, Angelo Susi, Paolo Tonella

PDFDOI 10.1145/2025113.2025124dblp

Abstract

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.

BibTeX
@inproceedings{Palma-al:FSE11,
  author    = {Francis Palma and
               Angelo Susi and
               Paolo Tonella},
  title     = {Using an {SMT} solver for interactive requirements prioritization},
  booktitle = {FSE},
  pages     = {48--58},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers