TY  - RPRT
TI  - Desiree: a Refinement Calculus for Requirements Problems
AU  - Feng-Lin Li
AU  - Alexander Borgida
AU  - Giancarlo Guizzardi
AU  - Jennifer Horkoff
AU  - Lin Liu
AU  - John Mylopoulos
PY  - 2016
UR  - https://arxiv.org/abs/1605.02263
ID  - 1605.02263
ER  -