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 条
  • [41] A Formal Model for the Requirements Diagrams of SysML
    Valles-Barajas, F.
    [J]. IEEE LATIN AMERICA TRANSACTIONS, 2010, 8 (03) : 259 - 268
  • [42] Business process oriented requirements engineering process
    Arao, T
    Goto, E
    Nagata, T
    [J]. 13th IEEE International Conference on Requirements Engineering, Proceedings, 2005, : 395 - 399
  • [43] A REQUIREMENTS ENGINEERING PROCESS MODEL FOR DISTRIBUTED SOFTWARE DEVELOPMENT Lessons Learned
    Lopes, Leandro Teixeira
    Audy, Jorge Luis Nicolas
    [J]. ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2, 2008, : 117 - 122
  • [44] Formal specification languages in knowledge and software engineering
    Fensel, D
    [J]. KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 361 - 404
  • [45] Identifying the influence of technical resources knowledge on product quality requirements in a global engineering process
    Pop, Gheorghe Ioan
    Țîțu, Aurel Mihail
    [J]. International Journal of Mechatronics and Applied Mechanics, 2021, 1 (09): : 225 - 231
  • [46] An approach for knowledge-based requirements definition for re-engineering of the process plant
    Adamenko, Dmytro
    Kunnen, Steffen
    Pluhnau, Robin
    Nagarajah, Arun
    [J]. 2019 13TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2019,
  • [47] Construction Engineering Process and Knowledge Requirements for Fostering Creative Design Solutions on Infrastructure Projects
    Bittner, Robert B.
    Schmitt, Robert L.
    [J]. JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT-ASCE, 2011, 137 (10): : 772 - 776
  • [48] Formal specification at model-level of model-driven engineering using modelling techniques
    Jnanamurthy, H. K.
    Henskens, Frans
    Paul, David
    Wallis, Mark
    [J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2021, 67 (04) : 340 - 350
  • [49] Maintaining knowledge with a formal model
    John Debenham
    [J]. Applied Intelligence, 2006, 24 : 205 - 218
  • [50] The requirements engineering reference model: A fundamental impediment to using formal methods in software systems development
    Berry, Daniel M.
    [J]. Proceedings - 2019 IEEE 27th International Requirements Engineering Conference Workshops, REW 2019, 2019,
12345