Compositionality and refinement in model-driven engineering

Model-driven engineering involves the automatic generation of software artifacts from models of structure and functionality. The use of models as 'source code' has implications for the notions of composition and refinement employed in the modelling language. This paper explores those impli...

Täydet tiedot

Bibliografiset tiedot
Päätekijät: Davies, J, Gibbons, J, Milward, D, Welch, J
Aineistotyyppi: Journal article
Kieli:English
Julkaistu: 2012