Introduction to special issue on verification and evaluation of computer systems

被引：0
|
作者：
Barkaoui, Kamel [1 ]
Boucheneb, Hanifa [2 ]
机构：
[1] Cnam, Cedr, Dept Comp Sci, Paris, France
[2] Polytech Montreal, Veriform, Dept Comp Engn, Montreal, PQ, Canada
来源：
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING | 2018年 / 14卷 / 02期
关键词：
D O I：
10.1007/s11334-018-0310-0
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：81 / 82
页数：2
相关论文
共 50 条
  • [41] Editors' introduction to special issue on computer documentation
    Johnson-Eilola, J.
    Selber, S.A.
    Journal of Technical Writing and Communication, 2001, 31 (01) : 3 - 5
  • [42] Introduction to the special issue on the philosophy of computer games
    Coppock P.J.
    Kirkpatrick G.
    Leino O.T.
    Leirfall A.
    Philosophy & Technology, 2014, 27 (2) : 151 - 157
  • [43] The Philosophy of Computer Science: Introduction to the Special Issue
    Raymond Turner
    Amnon H. Eden
    Minds and Machines, 2007, 17 : 129 - 133
  • [44] Introduction to the special issue on soft errors and data integrity in terrestrial computer systems
    Maiz, J
    Seifert, N
    IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY, 2005, 5 (03) : 303 - 304
  • [45] Introduction to a special issue on performance evaluation
    Gorraiz, Juan
    Moed, Henk
    Schiebel, Edgar
    RESEARCH EVALUATION, 2009, 18 (03) : 175 - 176
  • [46] Introduction to the Special Issue on Approximate Systems
    Alaghi, Armin
    Darulova, Eva
    Gerstlauer, Andreas
    Stanley-Marbell, Phillip
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2022, 27 (02)
  • [47] Introduction to the Special Issue on Cognitive Systems
    Lintern, Gavan
    INTERNATIONAL JOURNAL OF AVIATION PSYCHOLOGY, 2011, 21 (01): : 1 - 2
  • [48] SPECIAL ISSUE ON HOME SYSTEMS - INTRODUCTION
    HOFMANN, J
    HANOVER, G
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 1991, 37 (02) : UR15 - UR15
  • [49] Introduction to the special issue on creative evaluation
    Davis, Stephen Boyd
    DIGITAL CREATIVITY, 2009, 20 (03) : 133 - 139
  • [50] SPECIAL ISSUE: SYSTEMS OF CARE Introduction
    Hodges, Sharon
    Ferreira, Kathleen
    EVALUATION AND PROGRAM PLANNING, 2010, 33 (01) : 1 - 3
12345