TY - JOUR
T1 - Integration of behavioural requirements specification within compositional knowledge engineering
AU - Damian, D.E.
AU - Jonker, C.M.
AU - Treur, J.
AU - Wijngaards, N.J.E.
N1 - journals/kbs/DamianJTW05
PY - 2005
Y1 - 2005
N2 - In this paper it is shown how specification of behavioural requirements from informal to formal can be integrated within knowledge engineering. The integration of requirements specification has addressed, in particular: the integration of requirements acquisition and specification with ontology acquisition and specification, the relations between requirements specifications and specifications of task models and problem solving methods, and the relation of requirements specification to verification. © 2005 Elsevier B.V. All rights reserved.
AB - In this paper it is shown how specification of behavioural requirements from informal to formal can be integrated within knowledge engineering. The integration of requirements specification has addressed, in particular: the integration of requirements acquisition and specification with ontology acquisition and specification, the relations between requirements specifications and specifications of task models and problem solving methods, and the relation of requirements specification to verification. © 2005 Elsevier B.V. All rights reserved.
U2 - 10.1016/j.knosys.2005.05.002
DO - 10.1016/j.knosys.2005.05.002
M3 - Article
SN - 0950-7051
VL - 18
SP - 353
EP - 365
JO - Knowledge-Based Systems
JF - Knowledge-Based Systems
IS - 7
ER -
