Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An IDE to Build and Check Task Flow Models   This paper presents the Eclipse plug-ins for the Task Flow model in the
Discovery Method. These plug-ins provide an IDE for the Task Algebra compiler
and the model-checking tools. The Task Algebra is the formal representation for
the Task Model and it is based on simple and compound tasks. The model-checking
techniques were developed to validate Task Models represented in the algebra.

7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
9
The categories of this paper are: nlin