Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automata Describing Object Behavior   Relating formal re nement techniques with commercial object oriented software
development methods is important to achieve enhancement of the power and
exibility of these software development methods and tools. We will present an
automata model together with a denotational and an operational semantics to
describe the behavior of objects. Based on the given semantics we de ne a set
of powerful re nement rules and discuss their applicability in software
engineering practice especially with the use of inheritance.

14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom