Integration of behavioural requirements specification within compositional knowledge engineering

D.E. Damian, C.M. Jonker, J. Treur, N.J.E. Wijngaards

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

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.
Original languageEnglish
Pages (from-to)353-365
JournalKnowledge-Based Systems
Volume18
Issue number7
DOIs
Publication statusPublished - 2005

Fingerprint

Knowledge engineering
Specifications
Requirements specification
Ontology

Bibliographical note

journals/kbs/DamianJTW05

Cite this

Damian, D.E. ; Jonker, C.M. ; Treur, J. ; Wijngaards, N.J.E. / Integration of behavioural requirements specification within compositional knowledge engineering. In: Knowledge-Based Systems. 2005 ; Vol. 18, No. 7. pp. 353-365.
@article{eab014e53a2741c997852bf5d27aa9f7,
title = "Integration of behavioural requirements specification within compositional knowledge engineering",
abstract = "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. {\circledC} 2005 Elsevier B.V. All rights reserved.",
author = "D.E. Damian and C.M. Jonker and J. Treur and N.J.E. Wijngaards",
note = "journals/kbs/DamianJTW05",
year = "2005",
doi = "10.1016/j.knosys.2005.05.002",
language = "English",
volume = "18",
pages = "353--365",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "7",

}

Integration of behavioural requirements specification within compositional knowledge engineering. / Damian, D.E.; Jonker, C.M.; Treur, J.; Wijngaards, N.J.E.

In: Knowledge-Based Systems, Vol. 18, No. 7, 2005, p. 353-365.

Research output: Contribution to JournalArticleAcademicpeer-review

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

VL - 18

SP - 353

EP - 365

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 7

ER -