SEFM: software engineering and formal methods

被引：0

作者：

Gilles Barthe

Alberto Pardo

Gerardo Schneider

机构：

[1] IMDEA Software Institute,Instituto de Computación, Facultad de Ingeniería

[2] Universidad de la República,Department of Computer Science and Engineering

[3] University of Gothenburg,undefined

来源：

Software & Systems Modeling | 2015年 / 14卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：3 / 4

页数：1

共 50 条

[31] Pinnacles of software engineering: 25 years of formal methods
Bjorner, D
[J]. ANNALS OF SOFTWARE ENGINEERING, 2000, 10 : 11 - 66
[32] Special issue on 'Software Engineering and Formal Methods' Preface
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[33] SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuellar
Zhiming Liu
[J]. Software & Systems Modeling, 2007, 6 : 37 - 38
[34] 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
[35] 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
[36] SoSyM special section on software engineering and formal methods
Cuellar, Jorge
Liu, Zhiming
[J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38
[37] Formal methods: mathematics, computer science or software engineering?
[J]. Tremblay, Guy, 2000, IEEE, Piscataway, NJ, United States
[38] Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering
Ait-Ameur, Yamine
Palanque, Philippe
[J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 202 - 204
[39] A software engineering curriculum incorporating formal methods: A progress report
Sobel, AEK
[J]. FRONTIERS IN EDUCATION 1997 - 27TH ANNUAL CONFERENCE, PROCEEDINGS, BOLS I - III, 1997, : 872 - 872
[40] Cooperation of formal methods in an engineering based software development process
Ait-Ameur, Y
[J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 136 - 155

← 1 2 3 4 5 →