Special issue on 'Software Engineering and Formal Methods'

被引：0
|
作者：
不详
机构：
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2023年 / 225卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
  • [21] Introduction to formal methods for software engineering
    King, Trevor, 1600, (26):
  • [22] Methods and tools for formal software engineering
    Liu, Zhiming
    Venkatesh, R.
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 31 - +
  • [23] Teaching of Formal Methods for Software Engineering
    Spichkova, Maria
    Zamansky, Anna
    ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 370 - 376
  • [24] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    Software & Systems Modeling, 2015, 14 : 3 - 4
  • [25] Formal methods integration in software engineering
    Perseil, Isabelle
    Pautet, Laurent
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 5 - 11
  • [26] EDUCATION IN FORMAL METHODS FOR SOFTWARE ENGINEERING
    WORDSWORTH, J
    INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (01) : 27 - 32
  • [27] SEFM: software engineering and formal methods
    Barthe, Gilles
    Pardo, Alberto
    Schneider, Gerardo
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 3 - 4
  • [28] Introduction to the special issue on software engineering
    Gondow, Katsuhiko
    Sawada, Atsushi
    Maruyama, Katsuhisa
    Computer Software, 2010, 27 (03)
  • [29] INTRODUCTION TO THE SPECIAL ISSUE ON SOFTWARE ENGINEERING
    GRANT, D
    GEC JOURNAL OF RESEARCH, 1995, 12 (01): : 2 - 2
  • [30] SPECIAL ISSUE ON SOFTWARE ENGINEERING - INTRODUCTION
    BELADY, LA
    PROCEEDINGS OF THE IEEE, 1980, 68 (09) : 1043 - 1044
12345