✦ LIBER ✦
Integration of behavioural requirements specification within compositional knowledge engineering
✍ Scribed by Daniela E. Herlea Damian; Catholijn M. Jonker; Jan Treur; Niek J.E. Wijngaards
- Publisher
- Elsevier Science
- Year
- 2005
- Tongue
- English
- Weight
- 485 KB
- Volume
- 18
- Category
- Article
- ISSN
- 0950-7051
No coin nor oath required. For personal study only.
✦ Synopsis
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.