Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modeling Software Development Methodologies: A Logic Based Approach   In the last two decades, the growing trend of software development industry
has made different aspects of software engineering more interesting for the
computer science research community. Software development life-cycle is one of
these aspects that has a significant impact on the success/failure of software
development projects. Since each software development methodology relatively
provides its own software development life-cycle, encoding software development
life-cycle in a workflow representation language can help developers to
properly manage their software projects. In addition, such encoding can also be
used in CASE tools. In this report, we consider the software development
life-cycle as a workflow that can be represented by semantic web and rule based
languages. Such consideration let one analyze the properties of the life-cycle.
Specifically, we take a well-known agent oriented software development
methodology and show that its corresponding life-cycle can be specified by
Transaction Logic easily and concisely. Finally, the compact and clear
representation of the life-cycle in Transaction Logic can be used in CASE tools
to guide software developers.

25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph