Software engineering and formal methods: SEFM 2019 special section

被引：0

作者：

Peter Csaba Ölveczky

Gwen Salaün

机构：

[1] University of Oslo,Department of Informatics

[2] University Grenoble Alpes,undefined

来源：

Software and Systems Modeling | 2021年 / 20卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：291 / 292

页数：1

共 50 条

[31] Guest editorial to the special section on SEFM'22
Schlingloff, Bernd-Holger
Chai, Ming
[J]. SOFTWARE AND SYSTEMS MODELING, 2024, 23 (03): : 603 - 604
[32] Introduction to formal methods for software engineering
[J]. King, Trevor, 1600, (26):
[33] Methods and tools for formal software engineering
Liu, Zhiming
Venkatesh, R.
[J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 31 - +
[34] Teaching of Formal Methods for Software Engineering
Spichkova, Maria
Zamansky, Anna
[J]. ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 370 - 376
[35] EDUCATION IN FORMAL METHODS FOR SOFTWARE ENGINEERING
WORDSWORTH, J
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (01) : 27 - 32
[36] Formal methods integration in software engineering
Perseil, Isabelle
Pautet, Laurent
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 5 - 11
[37] Special Section on Empirical Software Engineering
Hayashi, Shinpei
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2023, E106D (02) : 137 - 137
[38] Special section on Software Engineering in Industry
Pyle, I
[J]. SOFTWARE ENGINEERING JOURNAL, 1996, 11 (02): : 74 - 75
[39] Special Section on Gamification and Software Engineering
Dalpiaz, Fabiano
Ali, Raian
Brinkkemper, Sjaak
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 95 : 177 - 178
[40] Special section on empirical software engineering
Hata, Hideaki
[J]. IEICE Transactions on Information and Systems, 2021, E104D (01)

← 1 2 3 4 5 →