DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy.

Jos Serna, Nancy A. Day, Sabria Farheen

Browse the full RE paper archive.