Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model-based generation of natural language specifications   Application of formal models provides many benefits for the software and
system development, however, the learning curve of formal languages could be a
critical factor for an industrial project. Thus, a natural language
specification that reflects all the aspects of the formal model might help to
understand the model and be especially useful for the stakeholders who do not
know the corresponding formal language. Moreover, an automated generation of
the documentation from the model would replace manual updates of the
documentation for the cases the model is modified. This paper presents an
ongoing work on generating natural language specifications from formal models.
Our goal is to generate documentation in English from the basic modelling
artefacts, such as data types, state machines, and architectural components. To
allow further formal analysis of the generated specification, we restrict
English to its subset, Attempto Controlled English.

8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph