Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Foundations for Interface Technologies   FIT stands for Foundations of Interface Technologies. Component-based design
is widely considered as a major approach to developing systems in a time and
cost effective way. Central in this approach is the notion of an interface.
Interfaces summarize the externally visible properties of a component and are
seen as a key to achieving component interoperability and to predict global
system behavior based on the component behavior. To capture the intricacy of
complex software products, rich interfaces have been proposed. These interfaces
do not only specify syntactic properties, such as the signatures of methods and
operations, but also take into account behavioral and extra-functional
properties, such as quality of service, security and dependability. Rich
interfaces have been proposed for describing, e.g., the legal sequences of
messages or method calls accepted by components, or the resource and timing
constraints in embedded software. The development of a rigorous framework for
the specification and analysis of rich interfaces is challenging. The aim of
this workshop is to bring together researchers who are interested in the formal
underpinnings of interface technologies

13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con