A survey on the formalisation of system requirements and their validation

被引：6
|
作者：
Mokos, Konstantinos [1 ]
Katsaros, Panagiotis [1 ]
机构：
[1] Mokos, Konstantinos
[2] Katsaros, Panagiotis
来源：
Katsaros, Panagiotis (katsaros@csd.auth.gr) | 1600年 / Elsevier B.V.卷 / 07期
关键词：
D O I：
10.1016/j.array.2020.100030
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A survey on the formalisation of system requirements and their validation (vol 7, 100030, 2020)
    Mokos, Konstantinos
    ARRAY, 2022, 13
  • [2] ARF: Automatic Requirements Formalisation Tool
    Zaki-Ismail, Aya
    Osama, Mohamed
    Abdelrazek, Mohamed
    Grundy, John
    Ibrahim, Amani
    29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021), 2021, : 440 - 441
  • [3] Lightweight Formalisation in Support of Requirements Engineering
    Hesketh J.
    Robertson D.
    Fuchs N.
    Bundy A.
    Automated Software Engineering, 1998, 5 (2) : 183 - 210
  • [4] Automated Requirements Formalisation for Agile MDE
    Lano, Kevin
    Yassipour-Tehrani, Sobhan
    Umar, M. A.
    24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 175 - 182
  • [5] Introduction to theme section on requirements formalisation
    Lano, Kevin
    Rahimi, Shekoufeh
    Tehrani, Sobhan
    Burgueno, Lola
    Umar, Mohammad Aminu
    SOFTWARE AND SYSTEMS MODELING, 2024, 23 (06): : 1451 - 1453
  • [6] REQUIREMENTS VALIDATION TECHNIQUES IN GSD: A Survey
    Yousuf, Farzana
    Zaman, Zahid
    Ikram, Naveed
    INMIC: 2008 INTERNATIONAL MULTITOPIC CONFERENCE, 2008, : 553 - +
  • [7] Formalisation of requirements with emphasis; on feature interaction detection
    Blom, J
    FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 61 - 77
  • [8] Decision tables: formalisation, validation, and verification
    Murrell, Stephen
    Plant, Robert
    Software Testing Verification and Reliability, 1995, 5 (02): : 107 - 132
  • [9] RCM: Requirement Capturing Model for Automated Requirements Formalisation
    Zaki-Ismail, Aya
    Osama, Mohamed
    Abdelrazek, Mohamed
    Grundy, John
    Ibrahim, Amani
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 110 - 121
  • [10] Requirements Structure for System Requirements Formal Modelling, Verification and Validation
    Bacquet, Cyril
    Marange, Pascale
    Bonjour, Eric
    Kerbrat, Alain
    IFAC PAPERSONLINE, 2024, 58 (19): : 289 - 294
12345