Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards a Theory of Requirements Elicitation: Acceptability Condition
  for the Relative Validity of Requirements   A requirements engineering artifact is valid relative to the stakeholders of
the system-to-be if they agree on the content of that artifact. Checking
relative validity involves a discussion between the stakeholders and the
requirements engineer. This paper proposes (i) a language for the
representation of information exchanged in a discussion about the relative
validity of an artifact; (ii) the acceptability condition, which, when it
verifies in a discussion captured in the proposed language, signals that the
relative validity holds for the discussed artifact and for the participants in
the discussion; and (iii) reasoning procedures to automatically check the
acceptability condition in a discussions captured by the proposed language.

36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess