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 条
  • [31] SYSTEM PROBLEMS OF POWER SUPPLY RELIABILITY ANALYSIS FORMALISATION
    Papkov, Boris
    Gerhards, Janis
    Mahnitko, Anatolijs
    2015 IEEE 5TH INTERNATIONAL CONFERENCE ON POWER ENGINEERING, ENERGY AND ELECTRICAL DRIVES (POWERENG), 2015, : 225 - 228
  • [32] The validation analysis of the INSHORE system—a precise and efficient coastal survey system
    Paulo Renato Baganha Baptista
    Cristina Bernardes
    Telmo R. Cunha
    Environmental Monitoring and Assessment, 2011, 179 : 589 - 604
  • [33] A survey of control system validation practices in the food industry
    Ilyukhin, SV
    Haley, TA
    Singh, RK
    FOOD CONTROL, 2001, 12 (05) : 297 - 304
  • [34] PHASE REQUIREMENTS, DESIGN AND VALIDATION OF PHASE PRESERVING PROCESSORS FOR A SAR SYSTEM
    Belotti, Michele
    D'Aria, Davide
    Iannini, Lorenzo
    Guarnieri, Andrea Monti
    Scirpoli, Silvia
    2011 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM (IGARSS), 2011, : 4095 - 4098
  • [35] Validation of Industrial Automation Systems Using a Timed Model of System Requirements
    Basile, Francesco
    Ferrara, Luigi
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2023, 31 (01) : 130 - 143
  • [36] Early validation of system requirements and design through correctness-by-construction
    Stachtiari, Emmanouela
    Mavridou, Anastasia
    Katsaros, Panagiotis
    Bliudze, Simon
    Sifakis, Joseph
    JOURNAL OF SYSTEMS AND SOFTWARE, 2018, 145 : 52 - 78
  • [37] USER VALIDATION OF INFORMATION-SYSTEM REQUIREMENTS - SOME EMPIRICAL RESULTS
    NOSEK, JT
    SCHWARTZ, RB
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (09) : 1372 - 1375
  • [38] An extended formalisation in the PMC system model for faulty units identification
    Mánik, M
    Gramatová, E
    BEC 2004: PROCEEDING OF THE 9TH BIENNIAL BALTIC ELECTRONICS CONFERENCE, 2004, : 213 - 216
  • [39] Two-Phased Knowledge Formalisation for Hydrometallurgical Gold Ore Process Recommendation and Validation
    Sauer, Christian Severin
    Rintala, Lotta
    Roth-Berghofer, Thomas
    KUNSTLICHE INTELLIGENZ, 2014, 28 (04): : 283 - 295
  • [40] The validation analysis of the INSHORE system-a precise and efficient coastal survey system
    Baganha Baptista, Paulo Renato
    Bernardes, Cristina
    Cunha, Telmo R.
    ENVIRONMENTAL MONITORING AND ASSESSMENT, 2011, 179 (1-4) : 589 - 604
12345