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

Bibliographical note

journals/kbs/DamianJTW05

Fingerprint

Dive into the research topics of 'Integration of behavioural requirements specification within compositional knowledge engineering'. Together they form a unique fingerprint.

Cite this