Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Software and System Modeling Based on a Unified Formal Semantics   Modeling and documentation are two essential ingredients for the engineering
discipline of software development. During the last twenty years a wide variety
of description and modeling techniques as well as document formats has been
proposed. However, often these are not integrated into a coherent methodology
with well-defined dependencies between the models and documentations. This
hampers focused software development as well as the provision of powerful
tool-support. In this paper we present the main issues and outline solutions in
the direction of a unified, formal basis for software and system modeling.

31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ