From Stakeholder Requirements to Formal Specifications Through Refinement.

Feng-Lin Li, Jennifer Horkoff, Alexander Borgida, Giancarlo Guizzardi, Lin Liu, John Mylopoulos

Browse the full REFSQ paper archive.