Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.

John D. Carter, William B. Gardner

Browse the full SEW paper archive.