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 条
  • [41] Toward a formalisation of evolutionary hypermedia systems based on system theory
    García-Cabrera, L
    Rodríguez-Fórtiz, MJ
    Parets-Llorca, J
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 270 - 284
  • [42] Ontology-centric industrial requirements validation for aircraft assembly system design
    Hu, Xiaodu
    Arista, Rebeca
    Lentes, Joachim
    Lu, Jinzhi
    Zheng, Xiaochen
    Sorvari, Jyri
    Ubis, Fernando
    Kiritsis, Dimitris
    IFAC PAPERSONLINE, 2022, 55 (10): : 3016 - 3021
  • [43] Development and Flight Validation of Proposed Unmanned Aerial System Handling Qualities Requirements
    Ivler, Christina M.
    Truong, Kevin
    Kerwin, Declan
    Otomize, Joel
    Parmer, Danielle
    Tischler, Mark B.
    Gowans, Norma
    JOURNAL OF THE AMERICAN HELICOPTER SOCIETY, 2022, 67 (01)
  • [44] Benchmarking battery management system algorithms - Requirements, scenarios and validation for automotive applications
    Berger, Franziska
    Joest, Dominik
    Barbers, Elias
    Quade, Katharina
    Wu, Ziheng
    Sauer, Dirk Uwe
    Dechent, Philipp
    ETRANSPORTATION, 2024, 22
  • [45] Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
    Kamburjan, Eduard
    Stromberg, Jonas
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (310): : 70 - 85
  • [46] ITER REQUIREMENTS FOR ANALYSIS AND VALIDATION
    Casper, T.
    Houlberg, W.
    Snipes, J.
    Thomas, D.
    Wallander, A.
    Walsh, M.
    Winter, A.
    FUSION SCIENCE AND TECHNOLOGY, 2010, 58 (03) : 715 - 719
  • [47] Intelligent assistant for requirements validation
    Journal of Systems Integration, 1995, 5 (02):
  • [48] Perspectives on occlusion and requirements for validation
    Lansdown, TC
    Burns, PC
    Parkes, AM
    APPLIED ERGONOMICS, 2004, 35 (03) : 225 - 232
  • [49] ACQUISITION AND VALIDATION OF SOFTWARE REQUIREMENTS
    BIEBOW, B
    SZULMAN, S
    KNOWLEDGE ACQUISITION, 1994, 6 (04): : 343 - 367
  • [50] Validation requirements for disinfection efficacy
    Kent, J. S., 2013, Advanstar Communications, One Park Avenue, New York, NY 10016, United States (37)
12345