Consistency verification of contextual computing requirements in military information system

被引：0
|
作者：
Liu, Meifeng [1 ]
Yang, Wenjing [1 ]
机构：
[1] College of Information and Communication, National University of Defense Technology, Wuhan,430010, China
来源：
Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics | 2024年 / 46卷 / 01期
关键词：
32;
D O I：
10.12305/j.issn.1001-506X.2024.01.22
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：190 / 195
相关论文
共 50 条
  • [1] Scenario-specific verification of system requirements consistency via time modeling
    Shi, Jingkai
    Zheng, Liwei
    [J]. INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2024, 15 (02)
  • [2] Evaluating contextual information for wearable computing
    Bristow, HW
    Baber, C
    Cross, J
    Woolley, S
    [J]. SIXTH INTERNATIONAL SYMPOSIUM ON WEARABLE COMPUTERS, PROCEEDINGS, 2002, : 179 - 185
  • [3] Environment Model based Requirements Consistency Verification: An Example
    Liu, Qianqian
    Chen, Xiaohong
    Jin, Zhi
    [J]. 29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2021), 2021, : 422 - 427
  • [4] Consistency verification between collaborative business processes and requirements
    Mo, Qi
    Dai, Fei
    Li, Tong
    [J]. 2019 INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2019, : 526 - 532
  • [5] Extending the verification of multimedia presentation consistency to resource requirements
    Abdelli, A.
    [J]. FGCN: PROCEEDINGS OF THE 2008 SECOND INTERNATIONAL CONFERENCE ON FUTURE GENERATION COMMUNICATION AND NETWORKING, VOLS 1 AND 2, 2008, : 214 - 217
  • [6] Verification of consistency between concurrent program designs and their requirements
    Chechik, M
    Gannon, J
    [J]. COMPASS '96 - PROCEEDINGS OF THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY, PROCESS SECURITY, 1996, : 103 - 116
  • [7] Verification Requirements for Secure and Reliable Cloud Computing
    Ghumman, Waheed Aslam
    Laessig, Jorg
    [J]. 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), 2013, : 143 - 150
  • [8] Implications of contextual information for the consistency of daylight simulation results
    Mahdavi, A
    Pal, V
    [J]. IESNA ANNUAL CONFERENCE TECHNICAL PAPERS, 1998, : 245 - 250
  • [9] Providing contextual information to pervasive computing applications
    Judd, G
    Steenkiste, P
    [J]. PROCEEDINGS OF THE FIRST IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM 2003), 2003, : 133 - 142
  • [10] Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems
    Chen, Xiaohong
    Zhong, Zhiwei
    Jin, Zhi
    Zhang, Min
    Li, Tong
    Chen, Xiang
    Zhou, Tingliang
    [J]. 2019 27TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2019), 2019, : 308 - 318
12345