Special issue on software specification and verification - Preface

被引：0
|
作者：
Wing, JM [1 ]
机构：
[1] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213
来源：
FORMAL METHODS IN SYSTEM DESIGN | 1996年 / 8卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：103 / 104
页数：2
相关论文
共 50 条
  • [1] Preface to Special Issue on Software Verification
    Hoare, C. A. R.
    Misra, Jayadev
    [J]. ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [2] Preface: Special issue on software verification and testing
    Merayo, Mercedes G.
    Salaun, Gwen
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 132 : 317 - 318
  • [3] Preface to the special issue on Numerical Software: Design, Analysis and Verification
    Gil, Amparo
    Muller, Jean-Michel
    Segura, Javier
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 90 : 1 - 1
  • [4] SPECIAL ISSUE ON PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION
    SUNSHINE, C
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (06): : 375 - 376
  • [5] Special issue:: Synthesis and verification -: Preface
    Edwards, M
    Józwiak, L
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 485 - 487
  • [6] Special issue on Software Verification and Testing (SAC-SVT'15) Preface
    Salaun, Gwen
    Stoelinga, Marielle
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 132 : 141 - 142
  • [7] Special issue: software verification and testing
    Mousavi, Mohammad Reza
    Pang, Jun
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2013, 9 (02) : 57 - 58
  • [8] PREFACE TO THE SPECIAL ISSUE ON SOFTWARE ENGINEERING
    Bubak, Marian
    Malawski, Maciej
    Slota, Renata G.
    [J]. COMPUTING AND INFORMATICS, 2021, 40 (04) : 729 - 733
  • [9] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Kutsia, Temur
    [J]. JOURNAL OF APPLIED LOGIC, 2012, 10 (01) : 1 - 1
  • [10] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Pugliese, Rosario
    Silva, Josep
    Tiezzi, Francesco
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 241 - 242
12345