Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formal Model-Driven Engineering: Generating Data and Behavioural
  Components   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 possible to automate aspects of the development process,
using model transformations and code generators that encode domain knowledge
and implementation strategies. Using this approach, questions of correctness
for a complex, software system may be answered through analysis of abstract
models of lower complexity, under the assumption that the transformations and
generators employed are themselves correct. This paper shows how formal
techniques can be used to establish the correctness of model transformations
used in the generation of software components from precise object models. The
source language is based upon existing, formal techniques; the target language
is the widely-used SQL notation for database programming. Correctness is
established by giving comparable, relational semantics to both languages, and
checking that the transformations are semantics-preserving.

19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph