Semantic quality attributes for big-step modelling languages

FASE, pp. 65-80, 2011.

Cited by: 2|Bibtex|Views1|DOI:https://doi.org/10.1007/978-3-642-19811-3_6
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

A semantic quality attribute of a modelling language is a desired semantic characteristic that is common to all models specified in that language. A modeller can enjoy the luxury of not having to model the invariants of the behaviour that are implicitly enforced by the semantic quality attributes. In this paper, we introduce three semanti...More

Code:

Data:

Your rating :
0

 

Tags
Comments