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 条
  • [21] Requirements for neural assembly formation, ignition and maintenance: Formalisation of traditional concepts
    Wickens, JR
    Miller, R
    PROGRESS IN CONNECTIONIST-BASED INFORMATION SYSTEMS, VOLS 1 AND 2, 1998, : 117 - 120
  • [22] Formalisation and use of competencies for industrial performance optimisation: A survey
    Boucher, Xavier
    Bonjour, Eric
    Grabot, Bernard
    COMPUTERS IN INDUSTRY, 2007, 58 (02) : 98 - 117
  • [23] Formalisation of a functional risk management system
    Gulias, Victor M.
    Abalde, Carlos
    Castro, Laura M.
    Varela, Carlos
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 516 - +
  • [24] Prognostics and Health Management (PHM) System Requirements and Validation
    Xu, Ping
    Wang, Zili
    Li, Yue
    2010 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE, 2010, : 629 - 632
  • [25] Study on Requirements Validation &Verification for Integrated and Complex System
    Yang Jianzhong
    Wang Peng
    Yan Fang
    PROCEEDINGS OF 2009 INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS, 2009, : 187 - 189
  • [26] Prognostics and Health Management (PHM) System Requirements and Validation
    Xu, Ping
    Wang, Zili
    Li, Yue
    2010 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE, 2010, : 593 - 596
  • [27] A Literature Survey on International Standards for System Requirements Engineering
    Schneider, Florian
    Berenbach, Brian
    Insight, 2014, 17 (01) : 32 - 35
  • [28] An ontology-based approach for formalisation and semantic organisation of conformance requirements in construction
    Yurchyshyna, Anastasiya
    Zarli, Alain
    AUTOMATION IN CONSTRUCTION, 2009, 18 (08) : 1084 - 1098
  • [29] EXPERT SYSTEM VERIFICATION AND VALIDATION - A SURVEY AND TUTORIAL
    OKEEFE, RM
    OLEARY, DE
    ARTIFICIAL INTELLIGENCE REVIEW, 1993, 7 (01) : 3 - 42
  • [30] Formal methods for telecommunication system requirements: A survey of standardized languages
    Ardis, MA
    ANNALS OF SOFTWARE ENGINEERING, 1997, 3 : 157 - 187
12345