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期

关键词：

Compendex;

D O I：

10.1007/s10270-014-0404-6

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：3 / 4

页数：2

共 50 条

[41] A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING
Kraemer, Bernd J.
Margaria, Tiziana
[J]. INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING, 2009, 3 (01) : 5 - 30
[42] Introduction to the Software Engineering and Formal Methods 2013 special issue
Mario Bravetti
Robert M. Hierons
Mercedes G. Merayo
[J]. Software & Systems Modeling, 2017, 16 : 5 - 6
[43] Empirical results of a software engineering curriculum incorporating formal methods
Sobel, AEK
[J]. SIGCSE 2000: PROCEEDINGS OF THE THIRTY-FIRST SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2000, 32 (01): : 157 - 161
[44] Introduction to the Software Engineering and Formal Methods 2013 special issue
Bravetti, Mario
Hierons, Robert M.
Merayo, Mercedes G.
[J]. SOFTWARE AND SYSTEMS MODELING, 2017, 16 (01): : 5 - 6
[45] Formal methods as software engineering tools - An exile in FM wonderland
Nakajima, Shin
[J]. NII Technical Reports, 2007, 2007 (07):
[46] SPECIAL ISSUE ON FORMAL METHODS IN DATABASES AND SOFTWARE ENGINEERING - FOREWORD
ALAGAR, VS
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 133 (02) : 203 - 204
[47] FME workshop on Formal Methods in Software Engineering FormaliSE 2013
[J]. 1600, IEEE Computer Society
[48] Lightweight formal methods for scenario-based software engineering
Bontemps, Y
Heymans, P
Schobbens, PY
[J]. SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS, 2005, 3466 : 174 - 192
[49] Software (Formal methods)
[J]. NZ Eng, 5 (18):
[50] Foreword to the Special Issue on Formal Methods for Software Product Line Engineering
Batory, Don
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 121 - 122

← 1 2 3 4 5 →