Integration of behavioural requirements specification within compositional knowledge engineering

被引：12
作者：
Damian, DEH
Jonker, CM
Treur, J
Wijngaards, NJE
机构：
[1] Free Univ Amsterdam, Dept Artificial Intelligence, NL-1081 HV Amsterdam, Netherlands
[2] Univ Calgary, Software Engn Res Network, Calgary, AB T2N 1N4, Canada
来源：
KNOWLEDGE-BASED SYSTEMS | 2005年 / 18卷 / 07期
关键词：
D O I：
10.1016/j.knosys.2005.05.002
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：353 / 365
页数：13
相关论文
共 46 条
  • [1] ANGELE J, 1998, J AUTOMATED SOFTWARE
  • [2] [Anonymous], 1990, SOFTWARE SYSTEMS ENG
  • [3] [Anonymous], ARTIFICIAL INTELLIGE
  • [4] BENJAMINS VR, 1993, THESIS U AMSTERDAM A
  • [5] APPRENTICING WITH THE CUSTOMER
    BEYER, HR
    HOLTZBLATT, K
    [J]. COMMUNICATIONS OF THE ACM, 1995, 38 (05) : 45 - 52
  • [6] Booch G., 1991, Object-oriented Analysis and Design with Applications
  • [7] Temporal semantics of compositional task models and problem solving methods
    Brazier, FMT
    Treur, J
    Wijngaards, NJE
    Willems, M
    [J]. DATA & KNOWLEDGE ENGINEERING, 1999, 29 (01) : 17 - 42
  • [8] Principles of component-based design of intelligent agents
    Brazier, FMT
    Jonker, CM
    Treur, J
    [J]. DATA & KNOWLEDGE ENGINEERING, 2002, 41 (01) : 1 - 27
  • [9] BRAZIER FMT, 1998, C INF TECHN KNOWL SY, P347
  • [10] BRAZIER FMT, 1998, P 3 INT C MULT S YST, V20, P49
12345