Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Faire levier sur les architectures logicielles pour guider et v\'erifier
  le d\'eveloppement d'applications SCC   A software architecture describes the structure of a computing system by
specifying software components and their interactions. Mapping a software
architecture to an implementation is a well known challenge. A key element of
this mapping is the architecture's description of the data and control-flow
interactions between components. The characterization of these interactions can
be rather abstract or very concrete, providing more or less implementation
guidance, programming support, and static verification. In this paper, we
explore one point in the design space between abstract and concrete component
interaction specifications. We introduce a notion of interaction contract that
expresses allowed interactions between components, describing both data and
control-flow constraints. This declaration is part of the architecture
description, allows generation of extensive programming support, and enables
various verifications. We instantiate our approach in an architecture
description language for Sense/Compute/Control applications, and describe
associated compilation and verification strategies.

23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph