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

José Serna
José Serna
Sabria Farheen
Sabria Farheen

RE Workshops, pp. 64-68, 2017.

Cited by: 3|Bibtex|Views1|DOI:https://doi.org/10.1109/REW.2017.70
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

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 in the Statecharts family of languages). The key contribution of DASH is the combination of explicit support for user-...More

Code:

Data:

Your rating :
0

 

Tags
Comments