Deconstructing the semantics of big-step modelling languages
Requir. Eng., pp. 235-265, 2010.
With the popularity of model-driven methodologies and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modelling a system under study? We address this question from a semantic point-of-view for big-step modelling languages (BSMLs). BSMLs are a class of popular behavioura...More
Full Text (Upload PDF)
PPT (Upload PPT)