The requirements engineering reference model: A fundamental impediment to using formal methods in software systems development

被引：0
|
作者：
Berry, Daniel M. [1 ]
机构：
[1] University of Waterloo, Waterloo,ON, Canada
来源：
Proceedings - 2019 IEEE 27th International Requirements Engineering Conference Workshops, REW 2019 | 2019年
关键词：
Computer-based system - Jackson - Reference modeling - Software systems development;
D O I：
27th IEEE International Requirements Engineering Conference Workshops, REW 2019
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development
    Berry, Daniel M.
    [J]. 2019 IEEE 27TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2019), 2019, : 109 - 109
  • [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