Formal Model-Driven Engineering: Generating Data and Behavioural Components

Chen-Wei Wang, Jim Davies

Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possi…