A formal knowledge level process model of Requirements Engineering

被引：0
|
作者：
Herlea, DE
Jonker, CM
Treur, J
Wijngaards, NJE
机构：
[1] Univ Calgary, Software Engn Res Network, Calgary, AB T2N 1N4, Canada
[2] Free Univ Amsterdam, Dept Artificial Intelligence, NL-1081 HV Amsterdam, Netherlands
来源：
MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS | 1999年 / 1611卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity. In this paper the process of Requirements Engineering has been analyzed using knowledge-level modelling techniques, resulting in a well-specified compositional process model for the Requirements Engineering task.
引用
收藏
页码：869 / 878
页数：10
相关论文
共 50 条
  • [1] A compositional knowledge level process model of Requirements Engineering
    Herlea, DE
    Jonker, CM
    Treur, J
    Wijngaards, NJE
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (01) : 41 - 75
  • [2] Towards a requirements engineering process model
    Eberlein, A
    Jiang, L
    [J]. OOIS 2001: 7TH INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 281 - 290
  • [3] Mixing linguistic and formal techniques for high-level requirements engineering
    Gorse, N
    Bélanger, P
    Aboulhamid, EM
    Savaria, Y
    [J]. 16TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, PROCEEDINGS, 2004, : 339 - 342
  • [4] Requirements Engineering Process Improvement: A Knowledge Transfer Experience
    Alves, Carina
    Valenca, George
    Sotero, Tayanna
    Mendes, Jeane
    [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 619 - +
  • [5] Formal methods for requirements engineering
    Ghose, A
    [J]. INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 13 - 13
  • [6] FORMAL REQUIREMENTS ENGINEERING WITH ERAE
    DUBOIS, E
    HAGELSTEIN, J
    RIFAUT, A
    [J]. PHILIPS JOURNAL OF RESEARCH, 1988, 43 (3-4) : 393 - 414
  • [7] THE KEEP MODEL, A KNOWLEDGE ENGINEERING PROCESS MODEL
    NEUBERT, S
    STUDER, R
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 599 : 230 - 249
  • [8] An Analysis on the Use of Knowledge Organization Systems in the Process of Requirements Engineering
    Fagundes, Priscila Basto
    de Macedo, Douglas Dyllon Jeronimo
    [J]. KNOWLEDGE ORGANIZATION, 2022, 49 (06): : 411 - 422
  • [9] A process model applicable to software engineering and knowledge engineering
    Acuña, ST
    Lopez, M
    Juristo, N
    Moreno, A
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1999, 9 (05) : 663 - 687
  • [10] Engineering formal requirements: analysis and testing
    Ciancarini, P
    Cimato, S
    Mascolo, C
    [J]. SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 1996, : 385 - 392
12345