Some users are experiencing upload errors at the moment. If you receive a "UWSpace is down for maintenance" error, please email firstname.lastname@example.org as soon as possible. We are very sorry for the inconvenience.
Browsing Mathematics (Faculty of) by Subject "abstract transitions"
Now showing items 1-1 of 1
(IEEE, 2017-09-04)We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ...