Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.

Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams

Browse the full MODELS paper archive.