SEFM: software engineering and formal methods

被引：0

作者：

Barthe, Gilles ^{[1
]}

Pardo, Alberto ^{[2
]}

Schneider, Gerardo ^{[3
]}

机构：

[1] IMDEA Software Inst, Madrid, Spain

[2] Univ Republica, Inst Comp, Fac Ingn, Montevideo, Uruguay

[3] Univ Gothenburg, Dept Comp Sci & Engn, Gothenburg, Sweden

来源：

SOFTWARE AND SYSTEMS MODELING | 2015年 / 14卷 / 01期

关键词：

D O I：

10.1007/s10270-014-0404-6

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：3 / 4

页数：2

共 50 条

[21] Intelligent systems and formal methods in software engineering
Beckert, Bernhard
Hoare, Tony
Hahnle, Reiner
Smith, Douglas R.
Green, Cordell
Ranise, Silvio
Tinelli, Cesare
Ball, Thomas
Rajamani, Sriram K.
[J]. IEEE INTELLIGENT SYSTEMS, 2006, 21 (06) : 71 - 81
[22] Special issue on ‘Software Engineering and Formal Methods’
[J]. Science of Computer Programming, 2023, 225
[23] Special issue on 'Software Engineering and Formal Methods'
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[24] Formal methods: Mathematics, computer science or software engineering?
Tremblay, G
[J]. IEEE TRANSACTIONS ON EDUCATION, 2000, 43 (04) : 377 - 382
[25] Formal Methods in Agent-Oriented Software Engineering
El Fallah-Seghrouchni, Amal
Gomez-Sanz, Jorge J.
Singh, Munindar P.
[J]. AGENT-ORIENTED SOFTWARE ENGINEERING X, 2011, 6038 : 213 - +
[26] Pinnacles of software engineering: 25 years of formal methods
Bjorner, D
[J]. ANNALS OF SOFTWARE ENGINEERING, 2000, 10 : 11 - 66
[27] Special issue on 'Software Engineering and Formal Methods' Preface
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[28] SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuellar
Zhiming Liu
[J]. Software & Systems Modeling, 2007, 6 : 37 - 38
[29] On Complementing an Undergraduate Software Engineering Course with Formal Methods
Westphal, Bernd
[J]. 2020 IEEE 32ND CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), 2020, : 219 - 228
[30] Empirical Software Engineering and formal Methods for IoT Systems
Basile, Davide
ter Beek, Maurice
Broccia, Giovanna
Ferrari, Alessio
[J]. ERCIM NEWS, 2022, (131): : 34 - 35

← 1 2 3 4 5 →