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 条
  • [21] A KNOWLEDGE REPRESENTATION LANGUAGE FOR REQUIREMENTS ENGINEERING
    DUBOIS, E
    HAGELSTEIN, J
    LAHOU, E
    PONSAERT, F
    RIFAUT, A
    PROCEEDINGS OF THE IEEE, 1986, 74 (10) : 1431 - 1444
  • [22] Requirements engineering for knowledge management in eGovernment
    Bresciani, P
    Donzelli, P
    Forte, A
    KNOWLEDGE MANAGEMENT IN ELECTRONIC GOVERNMENT, 2003, 2645 : 48 - 59
  • [23] The Requirements Engineering Body of Knowledge (REBoK)
    Penzenstadler, Birgit
    Fernandez, Daniel Mendez
    Richardson, Debra
    Callele, David
    Wnuk, Krzysztof
    2013 21ST IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2013, : 377 - 379
  • [24] Requirements specification and software engineering properties of service oriented systems
    Král, J
    Zemlicka, M
    INNOVATIONS THROUGH INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2004, : 265 - 268
  • [25] Requirements engineering: Problem analysis and solution specification - (Extended abstract)
    Wieringa, RJ
    WEB ENGINEERING, PROCEEDINGS, 2004, 3140 : 13 - 16
  • [26] Hierarchical knowledge-oriented specification for information integration
    Croitoru, M
    Compatangelo, E
    RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXII, 2006, : 60 - +
  • [27] Requirements versus Knowledge in the Quality Management of the Global Engineering Process within an Organization in the Aerospace Industry
    Pop, Gheorghe Ioan
    Titu, Aurel Mihail
    Pop, Alina Bianca
    AEROSPACE, 2022, 9 (12)
  • [28] Processing knowledge to support knowledge-based engineering systems specification
    Ammar-Khodja, Samar
    Perry, Nicolas
    Bernard, Alain
    CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2008, 16 (01): : 89 - 101
  • [29] Methodology for knowledge enriched requirements specification for assembly system reconfiguration
    Hirani, Hitendra
    Ratchev, Svetan
    Lohse, Niels
    Valtchanov, George
    ASSEMBLY AUTOMATION, 2006, 26 (04) : 307 - 314
  • [30] Usability-Engineering-Requirements as a Basis for the Integration with Software Engineering
    Nebe, Karsten
    Paelke, Volker
    HUMAN-COMPUTER INTERACTION, PT I, 2009, 5610 : 652 - +
12345