| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10325936 | Knowledge-Based Systems | 2005 | 13 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Daniela E. Herlea Damian, Catholijn M. Jonker, Jan Treur, Niek J.E. Wijngaards,