Deconstructing the semantics of big-step modelling languages

Requir. Eng., pp. 235-265, 2010.

Cited by: 9|Bibtex|Views3|DOI:https://doi.org/10.1007/s00766-010-0102-z
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com|link.springer.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments