The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development

被引：1
|
作者：
Berry, Daniel M. [1 ]
机构：
[1] Univ Waterloo, Waterloo, ON, Canada
来源：
2019 IEEE 27TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2019) | 2019年
基金：
加拿大自然科学与工程研究理事会;
关键词：
formal methods; requirements engineering; requirements engineering reference model; software development;
D O I：
10.1109/REW.2019.00024
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This talk attempts to explain why formal methods are not being used to develop large-scale software-intensive computer-based systems by appealing to the Reference Model for Requirements and Specifications by Gunter, Gunter, Jackson, and Zave.
引用
收藏
页码：109 / 109
页数：1
相关论文
共 50 条
  • [1] 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,
  • [2] Intelligent systems and formal methods in software engineering
    Beckert, Bernhard
    Hoare, Tony
    Hahnle, Reiner
    Smith, Douglas R.
    Green, Cordell
    Ranise, Silvio
    Tinelli, Cesare
    Ball, Thomas
    Rajamani, Sriram K.
    [J]. IEEE INTELLIGENT SYSTEMS, 2006, 21 (06) : 71 - 81
  • [3] FORMAL METHODS IN SOFTWARE-DEVELOPMENT REQUIREMENTS FOR A CASE
    BJORNER, D
    PREHN, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 509 : 178 - 210
  • [4] A Development Approach of Software Requirements for Renewable Energy Applications Using Fundamental Principles of Software Engineering
    Meridji, Kenza
    Issa, Ghassan
    [J]. 2013 1ST INTERNATIONAL CONFERENCE & EXHIBITION ON THE APPLICATIONS OF INFORMATION TECHNOLOGY TO RENEWABLE ENERGY PROCESSES AND SYSTEMS (IT-DREPS 2013), 2013, : 107 - 112
  • [5] Formal methods for requirements engineering
    Ghose, A
    [J]. INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 13 - 13
  • [6] Empirical Software Engineering and formal Methods for IoT Systems
    Basile, Davide
    ter Beek, Maurice
    Broccia, Giovanna
    Ferrari, Alessio
    [J]. ERCIM NEWS, 2022, (131): : 34 - 35
  • [7] Software development of power plant control systems using formal methods
    Shibamoto, T
    [J]. CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 45 - 67
  • [8] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [9] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [10] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
12345