Formal methods in dependable systems engineering: a survey of professionals from Europe and North America

被引：0

作者：

Mario Gleirscher

Diego Marmsoler

机构：

[1] University of York,Department of Computer Science

[2] Technical University of Munich,Institut für Informatik

来源：

Empirical Software Engineering | 2020年 / 25卷

关键词：

Formal methods; Empirical research; On-line survey; Usage; Usefulness; Practical challenges; Research transfer; Software engineering education & training;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：4473 / 4546

页数：73

共 50 条

[1] Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Gleirscher, Mario
Marmsoler, Diego
[J]. EMPIRICAL SOFTWARE ENGINEERING, 2020, 25 (06) : 4473 - 4546
[2] A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
Sinha, Roopak
Patil, Sandeep
Gomes, Luis
Vyatkin, Valeriy
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (07) : 3772 - 3783
[3] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
Schoitsch, Erwin
[J]. ERCIM NEWS, 2009, (78): : 9 - 9
[4] Formal methods integration for the specification of dependable distributed systems
Mazzocca, N
Russo, S
Vittorini, V
[J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
[5] Formal Methods in Industrial Dependable Systems Design - The TTTech Example
Steiner, Wilfried
[J]. PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 8 - 8
[6] Status of engineering geology in North America and Europe
Hatheway, AW
Reeves, GM
[J]. ENGINEERING GEOLOGY, 1997, 47 (03) : 191 - 215
[7] Embedding Formal Methods into Systems Engineering
Veith, Helmut
[J]. 11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 11 - 11
[8] Update on ISIS survey:: Europe, North America and South America
Chiò, A
[J]. AMYOTROPHIC LATERAL SCLEROSIS, 2000, 1 : S9 - S11
[9] Firewood consumption and energy transition: a survey of sources, methods and explanations in Europe and North America
Warde, Paul
[J]. HISTORIA AGRARIA, 2019, (77) : 7 - 32
[10] Formal Methods in Requirements Engineering: Survey and Future Directions
Lorch, Robert
Meng, Baoluo
Siu, Kit
Moitra, Abha
Durling, Michael
Paul, Saswata
Varanasi, Sarat Chandra
McMillan, Craig
[J]. PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, 2024, : 88 - 99

← 1 2 3 4 5 →