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...
Huvudupphovsmän: | Davies, J, Gibbons, J, Milward, D, Welch, J |
---|---|
Materialtyp: | Journal article |
Språk: | English |
Publicerad: |
2012
|
Liknande verk
Formality, evolution, and model-driven software engineering
av: Davies, J, et al.
Publicerad: (2005)
av: Davies, J, et al.
Publicerad: (2005)
Liknande verk
-
Compositionality and Refinement in Model−Driven Engineering
av: Davies, J, et al.
Publicerad: (2012) -
Model-driven engineering of information systems: 10 years and 1000 versions
av: Davies, J, et al.
Publicerad: (2014) -
Model−driven Engineering of Information Systems: 10 years and 1000 versions
av: Davies, J, et al.
Publicerad: (2014) -
Semantic model driven engineering
av: Milward, D
Publicerad: (2020) -
Domain−Specific Semantics and Data Refinement of Object Models
av: Davies, J, et al.
Publicerad: (2006)