Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings 12th International Workshop on Formal Engineering approaches
  to Software Components and Architectures   The aim of the FESCA workshop is to bring together junior researchers from
formal methods, software engineering, and industry interested in the
development and application of formal modelling approaches as well as
associated analysis and reasoning techniques with practical benefits for
software engineering.
  In recent years, the growing importance of functional correctness and the
increased relevance of system quality properties (e.g. performance,
reliability, security) have stimulated the emergence of analytical and
modelling techniques for the design and development of software systems. With
the increasing complexity of today's software systems, FESCA aims at addressing
two research questions: (1) what role the software architecture can play in
systematic addressing of the analytical and modelling challenges, and (2) how
formal and semi-formal techniques can be applied effectively to make the issues
easier to address automatically, with lower human intervention.

9
The categories of this paper are: nlin
3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys