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
相关论文
共 50 条
  • [1] A compositional knowledge level process model of Requirements Engineering
    Herlea, DE
    Jonker, CM
    Treur, J
    Wijngaards, NJE
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (01) : 41 - 75
  • [2] The Integration of Stakeholder Requirements within Aerospace Engineering Design Education
    Coso, Alexandra Emelina
    Pritchett, Amy
    2013 ASEE ANNUAL CONFERENCE, 2013,
  • [3] Facilitating tacit-knowledge acquisition within requirements engineering
    Mohamed, Abdulmajid Hissen
    SELECTED TOPICS IN APPLIED COMPUTER SCIENCE, 2010, : 27 - +
  • [4] PRODUCT SPECIFICATION REQUIREMENTS FOR ENGINEERING STEELS
    WELBURN, RW
    IRONMAKING & STEELMAKING, 1985, 12 (03) : 136 - 142
  • [5] Knowledge Identification from Requirements Specification
    Barra, Eduardo
    Morato, Jorge
    LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, 2015, 563 : 264 - 270
  • [6] Behavioural views for software requirements engineering
    Isazadeh A.
    Lamb D.A.
    Shepard T.
    Requirements Engineering, 1999, 4 (1) : 19 - 37
  • [7] Requirements engineering and verification using specification animation
    Hazel, D
    Strooper, P
    Traynor, O
    13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 302 - 305
  • [8] A Method for Human Systems Integration Requirements within Model Based Systems Engineering
    Corl, Kenneth
    Gallegos, Erika
    INCOSE International Symposium, 2024, 34 (01) : 1787 - 1806
  • [9] Requirements Engineering for Artificial Intelligence: What Is a Requirements Specification for an Artificial Intelligence?
    Berry, Daniel M.
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2022, 2022, 13216 : 19 - 25
  • [10] Compositional specification of web services via behavioural equivalence of nets: A case study
    Bonchi, Filippo
    Brogi, Antonio
    Corfini, Sara
    Gadducci, Fabio
    APPLICATIONS AND THEORY OF PETRI NETS, 2008, 5062 : 52 - 71
12345