Guest editorial: special issue on emerging challenges in software certification and verification

被引:0
|
作者
De Simone, Luigi [1 ]
Laranjeiro, Nuno [2 ]
Cotroneo, Domenico [1 ]
机构
[1] Univ Napoli Federico II, Dipartimento Ingn Elettr & Tecnol Informaz DIETI, Naples, Italy
[2] Univ Coimbra, Ctr Informat & Syst, Dept Informat Engn, Coimbra, Portugal
关键词
D O I
10.1007/s11219-023-09618-4
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:305 / 306
页数:2
相关论文
共 50 条
  • [1] Guest editorial: special issue on emerging challenges in software certification and verification
    Luigi De Simone
    Nuno Laranjeiro
    Domenico Cotroneo
    [J]. Software Quality Journal, 2023, 31 : 305 - 306
  • [2] Guest Editorial: Special Issue on Emerging Technologies in Embedded Software and Systems
    Zhu, Dakai
    Qiu, Meikang
    Chakraborty, Samarjit
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2016, 16 (01)
  • [3] Guest Editorial Special Issue on Emerging Trends and Challenges in Fog Computing for IoT
    Mavromoustakis, Constandinos X.
    Mukherjee, Mithun
    Mastorakis, George
    Song, Houbing
    Gorlatova, Maria
    Aazam, Mohammad
    [J]. IEEE INTERNET OF THINGS JOURNAL, 2020, 7 (05): : 4155 - 4159
  • [4] Guest Editorial: Special issue on Testing Software and Systems
    Husnu Yenigun
    Nina Yevtushenko
    Ana Rosa Cavalli
    [J]. Software Quality Journal, 2019, 27 : 497 - 499
  • [5] Guest Editorial to the Special Issue on Automation of Software Testing
    Zhu, Hong
    Cheung, S. C.
    Horgan, Joseph R.
    Li, J. Jenny
    [J]. COMPUTER JOURNAL, 2009, 52 (05): : 513 - 513
  • [6] Guest editorial: Special issue on software reliability engineering
    Laurie Williams
    [J]. Empirical Software Engineering, 2010, 15 : 321 - 322
  • [7] Guest Editorial: Special issue on Testing Software and Systems
    Yenigun, Husnu
    Yevtushenko, Nina
    Cavalli, Ana Rosa
    [J]. SOFTWARE QUALITY JOURNAL, 2019, 27 (02) : 497 - 499
  • [8] Special Issue on Software Aging and Rejuvenation - Guest Editorial
    Grottke, Michael
    Russo, Stefano
    [J]. PERFORMANCE EVALUATION, 2013, 70 (03) : 161 - 162
  • [9] Guest editorial: special issue on concurrent software quality
    Yang, Zijiang
    Liu, Ting
    Luo, Daniel Xiapu
    Wang, Chao
    [J]. SOFTWARE QUALITY JOURNAL, 2018, 26 (03) : 851 - 853
  • [10] Guest editorial: Special issue on software reliability engineering
    Williams, Laurie
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2010, 15 (04) : 321 - 322